77 results found Sort:

millsp
ts-toolbelt millsp
149
6.7k
apache-2.0
29
👷 TypeScript's largest type utility library
types safety utility typescript type-safety dynamic-types type-checking type-utilities typescript-library
Created 2019-06-08
1,962 commits to master branch, last one 3 years ago
dry-python
returns dry-python
116
3.5k
bsd-2-clause
45
Make your functions return something meaningful, typed, and safe!
fp mypy python python3 dry-python mypy-stubs type-safety mypy-plugins hacktoberfest functional-programming railway-oriented-programming
Created 2019-01-26
1,895 commits to master branch, last one 3 days ago
checkedc
checkedc checkedc
182
3.2k
other
111
Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate ent...
c llvm clang type-safety memory-safety system-programming programming-language
Created 2016-02-23
514 commits to main branch, last one 3 days ago
adelsz
pgtyped adelsz
96
2.9k
mit
16
pgTyped - Typesafe SQL in TypeScript
sql query types postgres generator postgresql typescript type-safety
Created 2019-09-23
725 commits to master branch, last one 21 hours ago
JSMonk
hegel JSMonk
59
2.1k
mit
37
An advanced static type checker
javascript type-safety typeinference
This repository has been archived (exclude archived)
Created 2018-10-20
721 commits to master branch, last one 8 months ago
rustedpy
result rustedpy
77
1.5k
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 about a month ago
foonathan
type_safe foonathan
122
1.5k
mit
65
Zero overhead utilities for preventing bugs at compile time
c-plus-plus type-safety
Created 2016-10-08
410 commits to main branch, last one 15 days ago
pointfreeco
swift-tagged pointfreeco
66
1.4k
mit
28
🏷 A wrapper type for safer, expressive code.
swift type-safety tagged-types conditional-conformance
Created 2018-04-16
66 commits to main branch, last one 11 days ago
dry-rb
dry-validation dry-rb
188
1.3k
mit
37
Validation library with type-safe schemas and rules
gem ruby dry-rb rubygem coercion validation type-safety data-validation
Created 2015-07-22
1,926 commits to main branch, last one 12 months ago
coalton-lang
coalton coalton-lang
70
1.1k
mit
29
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
common-lisp type-safety functional-programming
Created 2021-08-30
836 commits to main branch, last one a day ago
mockdeep
typewiz mockdeep
46
1.1k
unknown
12
Automatically discover and add missing types in your TypeScript code
automation typescript type-safety code-quality
This repository has been archived (exclude archived)
Created 2018-01-10
234 commits to master branch, last one 2 years ago
pointfreeco
swift-nonempty pointfreeco
39
841
mit
13
🎁 A compile-time guarantee that a collection contains a value.
swift collections type-safety conditional-conformance
Created 2018-06-24
47 commits to main branch, last one 2 months ago
graphql-nexus
nexus-plugin-prisma graphql-nexus
118
829
mit
16
Deprecated
crud nexus prisma graphql type-safety
Created 2018-12-02
824 commits to main branch, last one 2 years ago
magmide
magmide magmide
13
811
unknown
51
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
coq logic type-safety verification formal-methods dependent-types formal-verification systems-programming
Created 2020-08-21
195 commits to main branch, last one 5 months ago
gajus
flow-runtime gajus
57
802
mit
13
A runtime type system for JavaScript with full Flow compatibility.
flowtype validation type-safety babel-plugin flow-runtime
Created 2016-10-22
431 commits to master branch, last one 3 years ago
rescript-association
genType rescript-association
44
758
mit
13
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
types flowtype reasonml javascript typescript type-safety bucklescript
This repository has been archived (exclude archived)
Created 2018-07-18
2,644 commits to master branch, last one 10 months ago
stepchowfun
typical stepchowfun
10
591
other
8
Data interchange with algebraic data types.
idl types type-safety serialization data-interchange algebraic-data-types interface-definition-language interface-description-language
Created 2021-03-11
977 commits to main branch, last one 21 days ago
olshevski
compose-navigation-reimagined olshevski
18
540
mit
4
🌈 Type-safe navigation library for Jetpack Compose
kotlin scopes android compose library lifecycle viewmodel animations navigation imagination transitions type-safety jetpack-compose compose-navigation
Created 2022-02-03
268 commits to main branch, last one 8 months ago
jondgoodwin
cone jondgoodwin
17
524
mit
22
Cone Programming Language
cone web3d compiler concurrency type-safety webassembly systems-language memory-management programming-language
Created 2017-09-21
1,117 commits to master branch, last one about a year ago
checkedc
checkedc-clang checkedc
72
496
unknown
46
This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe...
c llvm clang type-safety memory-safety system-programming programming-languages
Created 2016-06-07
456,547 commits to main branch, last one 3 days ago
nerdsupremacist
Graphaello nerdsupremacist
18
493
mit
4
A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL
swift codegen graphql swiftui data-driven declarative type-safety command-line-tool
Created 2020-02-22
347 commits to develop branch, last one 2 years ago
Ff00ff
mammoth Ff00ff
25
492
mit
6
A type-safe Postgres query builder for TypeScript.
deno nodejs postgresql typescript type-safety query-builder
Created 2018-01-06
554 commits to master branch, last one 2 years ago
seasonedcc
remix-forms seasonedcc
25
491
mit
8
The full-stack form library for Remix and React Router
zod form forms remix remix-run typescript type-safety react-router react-hook-form react-router-v6 react-router-dom react-router-dom-v6
Created 2022-02-24
429 commits to main branch, last one 6 months ago
topshell-language
topshell topshell-language
9
482
mit
16
TopShell - a purely functional, reactive scripting language
reactive type-safety programming-language functional-programming
Created 2018-07-14
457 commits to master branch, last one 3 years ago
p-ranav
structopt p-ranav
26
455
mit
12
Parse command line arguments by defining a struct
clap cpp17 library argparse arguments structopt type-safe magic-enum modern-cpp reflection header-only lightweight mit-license type-safety command-line cross-platform header-library argument-parser single-header-lib visit-struct-library
Created 2020-08-11
283 commits to master branch, last one 6 days ago
dry-rb
dry-schema dry-rb
109
415
mit
20
Coercion and validation for data structures
ruby dry-rb schema coercion ruby-gem type-safety data-validator data-validation schema-validation
Created 2017-04-17
1,714 commits to main branch, last one 4 months ago
garronej
tsafe garronej
6
407
mit
4
🔩 The missing TypeScript utils
npm deno node testing utilities typescript type-safety hacktoberfest
Created 2021-03-29
346 commits to main branch, last one 2 months ago
dry-rb
dry-struct dry-rb
63
406
mit
24
Typed struct and value objects
data ruby types dry-rb struct constraints type-safety value-object data-modeling
Created 2016-06-30
748 commits to main branch, last one 2 months ago
mapbox
jni.hpp mapbox
90
404
other
123
A modern, type-safe, header-only, C++14 wrapper for JNI
jni ndk java cpp14 binding wrapper template type-safety
Created 2016-02-25
93 commits to master branch, last one 4 years ago
ktsn
vuex-smart-module ktsn
19
382
mit
6
Type safe Vuex module with powerful module features
vuex vuejs typescript type-safety
Created 2018-08-12
736 commits to master branch, last one 3 years ago