Search Results - RepositoryStats

342

3.9k

mpl-2.0

117

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

7,026 commits to 3.0 branch, last one 23 hours ago

result rustedpy

83

1.6k

mit

12

NOT MAINTAINED - 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 7 months ago

strictyaml crdoconnor

61

1.5k

mit

27

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

51

640

mit

17

Extra strict and opinionated rules for PHPStan

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

Created 2017-11-11

288 commits to 2.0.x branch, last one 21 hours ago

typedorm typedorm

52

490

mit

4

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

typescript-needs-types akutruff

12

411

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

24

395

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

81 commits to main branch, last one 21 days ago

computed-types neuledge

13

362

mit

7

🦩 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

17

236

unknown

7

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

typeql typedb

46

226

mpl-2.0

13

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,078 commits to 3.0 branch, last one 3 days ago

nest-typed-config Nikaple

27

213

mit

2

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

548 commits to main branch, last one about a month ago

tea tealang

17

157

apache-2.0

9

Programming is like drinking tea.

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

Created 2019-10-05

315 commits to master branch, last one 26 days ago

graphql-ts-client babyfish-ct

20

146

mit

5

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

hac zertovitch

13

137

mit

17

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

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

Created 2019-09-15

1,090 commits to master branch, last one 10 days ago

ddb-table neuledge

4

130

mit

5

🔒 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

linq-collections isc30

11

119

mit

8

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

hitchstory hitchdev

3

95

other

3

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

bagel brundonsmith

2

88

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

4

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

monty mental32

5

68

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

23

65

mit

3

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

validated_object dogweather

2

64

mit

3

Self-validating Ruby objects

gem ruby activemodel strongly-typed rails-validations

Created 2015-08-18

107 commits to master branch, last one 10 months ago

manool rusini

3

63

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

DomainPrimitives altasoft

0

56

mit

8

C# Domain Primitives generator

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

Created 2024-01-09

119 commits to main branch, last one about a month ago

SparForte kburtch

6

51

gpl-2.0

11

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,613 commits to master branch, last one 19 days ago