Search Results - RepositoryStats

337

3.8k

mpl-2.0

119

TypeDB: the power of programming, in your database

logic typedb typeql database inference reasoning polymorphic type-system polymorphism knowledge-base strongly-typed knowledge-representation

Created 2016-07-11

6,849 commits to 3.0 branch, last one 17 hours ago

result rustedpy

78

1.6k

mit

13

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

176 commits to main branch, last one 2 months ago

strictyaml crdoconnor

60

1.5k

mit

28

Type-safe YAML parser and validator.

Created 2016-06-17

797 commits to master branch, last one about a year ago

phpstan-strict-rules phpstan

48

605

mit

19

Extra strict and opinionated rules for PHPStan

php php7 safety phpstan strongly-typed static-analysis static-code-analysis

Created 2017-11-11

277 commits to 2.0.x branch, last one 11 days ago

typedorm typedorm

52

479

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

575 commits to develop branch, last one 22 days ago

typescript-needs-types akutruff

12

403

mit

12

TypeScript please give us types.

schema typescript strongly-typed runtime-verification

Created 2021-01-22

81 commits to main branch, last one about a year ago

llm-strategy BlackHC

23

388

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

62 commits to main branch, last one 23 days ago

computed-types neuledge

14

364

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 about a year ago

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

typeql typedb

46

219

mpl-2.0

14

TypeQL: the power of programming, in your database

logic query typedb typeql database inference reasoning polymorphic type-system polymorphism query-language strongly-typed

Created 2019-02-16

1,032 commits to 3.0 branch, last one a day ago

nest-typed-config Nikaple

25

204

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 8 months ago

tea tealang

16

157

apache-2.0

10

Programming is like drinking tea.

tea tealang modularization strongly-typed type-inference programming-language

Created 2019-10-05

313 commits to master branch, last one about a month ago

graphql-ts-client babyfish-ct

20

147

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 10 months ago

ddb-table neuledge

3

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 about a year ago

hac zertovitch

11

122

unknown

19

HAC Ada Compiler - a small, quick Ada compiler fully in Ada

ada parser compiler ada-library ada-language symbol-table mini-compiler advent-of-code strongly-typed virtual-machine semantic-analysis compiler-construction

Created 2019-09-15

1,027 commits to master branch, last one a day ago

linq-collections isc30

12

119

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

hitchstory hitchdev

3

91

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,219 commits to master branch, last one 4 months ago

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 2 years ago

forms-typed gparlakov

9

83

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 8 months ago

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 about a year ago

knex-types kriasoft

21

65

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

validated_object dogweather

2

63

mit

4

Self-validating Ruby objects

gem ruby activemodel strongly-typed rails-validations

Created 2015-08-18

107 commits to master branch, last one 6 months ago

manool rusini

3

62

gpl-3.0

5

Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with scalability

Created 2019-07-21

409 commits to master branch, last one 5 months ago

DomainPrimitives altasoft

0

53

mit

7

C# Domain Primitives generator

ddd domain dotnet entity dotnet-core value-object strongly-typed primitive-types source-generators

Created 2024-01-09

108 commits to main branch, last one 2 months ago

SparForte kburtch

6

50

gpl-2.0

13

Bourne shell, template engine, scripting language reliable, scalable projects. Based a ISO standard proven effective for large, mission-critical projects, SparForte is designed for fast development w...

ada mysql shell elegant reliable security postgresql ada-language side-effects strongly-typed safety-critical agile-integration interpreted-programming-language

Created 2011-03-18

1,584 commits to master branch, last one 4 months ago