77 results found Sort:
- Filter by Primary Language:
- TypeScript (24)
- Python (7)
- Scala (6)
- C (5)
- C++ (5)
- Swift (5)
- JavaScript (4)
- Kotlin (4)
- Ruby (3)
- Java (2)
- Rust (2)
- Haskell (2)
- PureScript (1)
- Go (1)
- Nim (1)
- Common Lisp (1)
- Coq (1)
- OCaml (1)
- PHP (1)
- +
👷 TypeScript's largest type utility library
Created
2019-06-08
1,962 commits to master branch, last one 3 years ago
Make your functions return something meaningful, typed, and safe!
Created
2019-01-26
1,915 commits to master branch, last one 11 hours ago
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...
Created
2016-02-23
514 commits to main branch, last one about a month ago
pgTyped - Typesafe SQL in TypeScript
Created
2019-09-23
745 commits to master branch, last one 5 days ago
An advanced static type checker
This repository has been archived
(exclude archived)
Created
2018-10-20
721 commits to master branch, last one 9 months ago
A simple Rust like Result type for Python 3. Fully type annotated.
Created
2015-12-14
176 commits to main branch, last one 3 months ago
Zero overhead utilities for preventing bugs at compile time
Created
2016-10-08
410 commits to main branch, last one 2 months ago
🏷 A wrapper type for safer, expressive code.
Created
2018-04-16
66 commits to main branch, last one 2 months ago
Validation library with type-safe schemas and rules
Created
2015-07-22
1,926 commits to main branch, last one about a year ago
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Created
2021-08-30
879 commits to main branch, last one 27 days ago
Automatically discover and add missing types in your TypeScript code
This repository has been archived
(exclude archived)
Created
2018-01-10
234 commits to master branch, last one 3 years ago
🎁 A compile-time guarantee that a collection contains a value.
Created
2018-06-24
47 commits to main branch, last one 4 months ago
Deprecated
Created
2018-12-02
824 commits to main branch, last one 2 years ago
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Created
2020-08-21
195 commits to main branch, last one 7 months ago
A runtime type system for JavaScript with full Flow compatibility.
Created
2016-10-22
431 commits to master branch, last one 3 years ago
Auto generation of idiomatic bindings between Reason and JavaScript: either vanilla or typed with TypeScript/FlowType.
This repository has been archived
(exclude archived)
Created
2018-07-18
2,644 commits to master branch, last one about a year ago
Data interchange with algebraic data types.
Created
2021-03-11
977 commits to main branch, last one 2 months ago
🌈 Type-safe navigation library for Jetpack Compose
Created
2022-02-03
268 commits to main branch, last one 9 months ago
Cone Programming Language
Created
2017-09-21
1,117 commits to master branch, last one about a year ago
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...
Created
2016-06-07
456,547 commits to main branch, last one about a month ago
The full-stack form library for Remix and React Router
Created
2022-02-24
429 commits to main branch, last one 8 months ago
A Tool for Writing Declarative, Type-Safe and Data-Driven Applications in SwiftUI using GraphQL
Created
2020-02-22
347 commits to develop branch, last one 2 years ago
A type-safe Postgres query builder for TypeScript.
Created
2018-01-06
554 commits to master branch, last one 2 years ago
TopShell - a purely functional, reactive scripting language
Created
2018-07-14
457 commits to master branch, last one 3 years ago
Parse command line arguments by defining a struct
Created
2020-08-11
287 commits to master branch, last one 24 days ago
🔩 The missing TypeScript utils
Created
2021-03-29
388 commits to main branch, last one 2 days ago
Coercion and validation for data structures
Created
2017-04-17
1,717 commits to main branch, last one 12 hours ago
Typed struct and value objects
Created
2016-06-30
748 commits to main branch, last one 4 months ago
A modern, type-safe, header-only, C++14 wrapper for JNI
Created
2016-02-25
93 commits to master branch, last one 4 years ago
Type safe Vuex module with powerful module features
Created
2018-08-12
736 commits to master branch, last one 3 years ago