steinerkelvin / rustie-ts
Small TS library to type and safely handle `serde` JSON serializations of Rust enums.
β11Updated last week
Related projects β
Alternatives and complementary repositories for rustie-ts
- π§ͺ | LLVM backend for HVMβ20Updated last year
- β13Updated last year
- Animations for Elementary-Affine-Net interactionsβ11Updated 5 years ago
- Absal exβ55Updated last year
- Formality in itselfβ20Updated 3 years ago
- Collection of Kind2 programs and proofsβ11Updated 6 months ago
- GPU-based interaction nets evaluatorβ15Updated 12 years ago
- Specification of the Formality proof and programming languageβ40Updated last year
- FΟΞΌ type checker and compilerβ51Updated last year
- Multiplication on optimal Ξ»-calculus reducersβ22Updated 4 years ago
- Agda libraries relevant to Moonadβ14Updated 5 years ago
- A WebAssembly implementation in Lean4β32Updated 11 months ago
- Lean 4 port of Megaparsecβ23Updated 10 months ago
- β36Updated 3 years ago
- β36Updated 6 years ago
- high-performance cubical evaluationβ68Updated 4 months ago
- my personal langβ15Updated 10 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCamlβ55Updated 2 years ago
- HTTP specification in Coq, testable and verifiableβ17Updated last year
- Toy implementation of Martin-LΓΆf Type Theoryβ28Updated 2 years ago
- Parallel Environment for optimal Lambda Calculus Reductionβ28Updated 2 years ago
- A minimal pure functional language based on self dependent types.β72Updated 2 years ago
- Parser Combinator Library for Lean 4β34Updated this week
- A simple, untyped, terminating functional language that is fully compatible with optimal reductions.β17Updated 5 years ago