25 results found Sort:

vaticle
typedb vaticle
336
3.7k
mpl-2.0
118
TypeDB: the polymorphic database powered by types
logic typedb typeql database inference reasoning polymorphic type-system polymorphism knowledge-base strongly-typed knowledge-representation
Created 2016-07-11
6,593 commits to development branch, last one a day ago
crdoconnor
strictyaml crdoconnor
61
1.4k
mit
28
Type-safe YAML parser and validator.
yml yaml config parser python schema strict python3 typesafe roundtrip validation yaml-parser strict-types yaml-emitter configuration roundtripping serialization strongly-typed configuration-file configuration-management
Created 2016-06-17
797 commits to master branch, last one about a year ago
rustedpy
result rustedpy
77
1.4k
mit
12
A simple Rust like Result type for Python 3. Fully type annotated.
mypy rust python python3 type-safety typechecking strongly-typed functional-programming railway-oriented-programming
Created 2015-12-14
175 commits to main branch, last one 11 days ago
phpstan
phpstan-strict-rules phpstan
46
573
mit
18
Extra strict and opinionated rules for PHPStan
php php7 safety phpstan strongly-typed static-analysis static-code-analysis
Created 2017-11-11
254 commits to 1.6.x branch, last one about a month ago
typedorm
typedorm typedorm
48
450
mit
5
Strongly typed ORM for DynamoDB - Built with the single-table-design pattern in mind.
aws orm no-sql dynamodb typescript data-mapper aws-dynamodb dynamodb-orm dynamodb-table strongly-typed single-table-design
Created 2020-11-09
564 commits to develop branch, last one 8 months ago
akutruff
typescript-needs-types akutruff
12
395
mit
11
TypeScript please give us types.
schema typescript strongly-typed runtime-verification
Created 2021-01-22
81 commits to main branch, last one 10 months ago
BlackHC
llm-strategy BlackHC
21
376
mit
5
Directly Connecting Python to LLMs via Strongly-Typed Functions, Dataclasses, Interfaces & Generic Types
gpt llm openai python pydantic langchain strongly-typed
Created 2022-12-21
61 commits to main branch, last one 3 months ago
neuledge
computed-types neuledge
14
366
mit
8
🦩 Joi like validations for TypeScript
async schema runtime javascript typescript validation strongly-typed
Created 2020-03-07
396 commits to master branch, last one 7 months ago
istrib
vuex-typescript istrib
18
237
unknown
8
A simple way to make Vuex type-safe with intuitive intellisense
vuex typescript intellisense strongly-typed
Created 2017-05-01
47 commits to master branch, last one 6 years ago
vaticle
typeql vaticle
45
212
mpl-2.0
14
TypeQL: the polymorphic query language of TypeDB
logic query typedb typeql database inference reasoning polymorphic type-system polymorphism query-language strongly-typed
Created 2019-02-16
978 commits to development branch, last one a day ago
Nikaple
nest-typed-config Nikaple
25
187
mit
3
Intuitive, type-safe configuration module for Nest framework ✨
nest type config dotenv nestjs javascript typescript type-safety configuration strongly-typed configuration-management
Created 2021-05-07
546 commits to main branch, last one 3 months ago
tealang
tea tealang
16
155
apache-2.0
10
Programming is like drinking tea.
tea tealang modularization strongly-typed type-inference programming-language
Created 2019-10-05
272 commits to master branch, last one 3 months ago
babyfish-ct
graphql-ts-client babyfish-ct
19
144
mit
6
Typescript DSL for GraphQL.
dsl relay apollo client codegen graphql typescript graphql-dsl codegenerator strongly-typed
Created 2021-06-17
401 commits to master branch, last one 6 months ago
neuledge
ddb-table neuledge
2
129
mit
7
🔒 Strongly typed library for querying and modeling DynamoDB documents in TypeScript.
query nodejs library dynamodb typescript strongly-typed
Created 2020-04-25
258 commits to master branch, last one 7 months ago
isc30
linq-collections isc30
13
118
mit
9
Strongly typed Linq and Collections implementation for Javascript and TypeScript (ECMAScript 5)
linq javascript typescript collections performance strongly-typed statically-typed
Created 2017-05-19
247 commits to master branch, last one 2 years ago
hitchdev
hitchstory hitchdev
3
86
other
5
Type-safe YAML integration tests. Tests that write your docs. Tests that rewrite themselves.
bdd yaml tests pytest testing bdd-specs bdd-tests pytest-bdd bdd-framework pytest-plugin specification strongly-typed test-automation testing-framework documentation-tool integration-testing bdd-style-testing-framework behavior-driven-development
Created 2017-01-19
1,217 commits to master branch, last one 2 months ago
brundonsmith
bagel brundonsmith
2
86
mit
4
A reactive and strongly-typed, but also pragmatic, new programming language. Compiles to JavaScript, designed to be comfy for people used to the JavaScript/TypeScript language and ecosystem.
deno compiler javascript reactivity typescript static-types strongly-typed functional-programming
Created 2021-04-10
970 commits to master branch, last one about a year ago
gparlakov
forms-typed gparlakov
9
84
mit
5
Want types in your forms? Want to have nested forms? This is the place to be...
ngx forms angular formcontrol strongly-typed controlvalueaccessor parent-child-component
Created 2020-02-22
123 commits to master branch, last one 4 months ago
mental32
monty mental32
5
69
mit
4
A language toolchain for explicitly typed annotated Python. 🐍
monty python python3 compiler cranelift interpreter strongly-typed python-language
Created 2019-12-14
416 commits to master branch, last one 8 months ago
kriasoft
knex-types kriasoft
21
63
mit
5
Generate TypeScript definitions (types) from a PostgreSQL database schema.
pg knex types knexjs nodejs schema graphql database postgres javascript postgresql typescript definitions strongly-typed database-schema
Created 2021-04-14
22 commits to main branch, last one about a year ago
dogweather
validated_object dogweather
2
60
mit
4
Self-validating Ruby objects
gem ruby activemodel strongly-typed rails-validations
Created 2015-08-18
107 commits to master branch, last one about a month ago
rusini
manool rusini
3
60
gpl-3.0
5
Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with scalability
compiler practical functional homoiconic imperative procedural development interpreter programming multi-paradigm strongly-typed functional-core general-purpose dynamically-typed functional-language programming-language software-development functional-programming imperative-programming procedural-programming
Created 2019-07-21
409 commits to master branch, last one 26 days ago
altasoft
DomainPrimitives altasoft
0
50
mit
7
C# Domain Primitives generator
ddd domain dotnet entity dotnet-core value-object strongly-typed primitive-types source-generators
Created 2024-01-09
101 commits to main branch, last one 10 days ago
queso-lang
queso queso-lang
1
37
apache-2.0
5
🧀 A delicious programming language
vm rust language programming strongly-typed dynamically-typed bytecode-interpreter interpreted-language programming-language functional-programming multi-paradigm-programming
Created 2020-01-24
161 commits to master branch, last one about a year ago
lucasteles
Strongly lucasteles
5
31
mit
1
💪🏾 A strongly-typed domain values source-generator
typed csharp dotnet value-object strongly-typed source-generator
Created 2022-12-23
29 commits to master branch, last one 6 months ago