moonad / Formality-tmp
☆9Updated 3 years ago
Alternatives and similar repositories for Formality-tmp:
Users that are interested in Formality-tmp are comparing it to the libraries listed below
- Specification of the Formality proof and programming language☆41Updated last year
- A WebAssembly implementation in Lean4☆33Updated last year
- A Rust implementation of the Lean kernel☆11Updated 2 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- Standard library for the Formality language☆18Updated 4 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆55Updated 8 months ago
- A minimal pure functional language based on self dependent types.☆72Updated 2 years ago
- Lean 4 port of Megaparsec☆23Updated last year
- Tool for compiling Lean to WASM☆16Updated 10 months ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- 🧊 An indexed construction of semi-simplicial and semi-cubical types☆26Updated last week
- An upcoming operating system built on Type-Theory☆43Updated 4 years ago
- ☆35Updated 6 years ago
- Specification of the Cedille Core language☆29Updated 4 years ago
- A relational interpretation of Lojban☆33Updated last week
- (early experiments toward) a version-control system for structured data☆17Updated last year
- A template for you to implement Hazelnut yourself☆20Updated this week
- ☆38Updated 3 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆20Updated 2 years ago
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- The Yatima Standard Library☆20Updated last year
- A Categorical View of Computation☆29Updated 2 months ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆67Updated 7 years ago
- Untyped Concatenative Calculus☆19Updated 3 years ago
- Macros have types!☆129Updated last year
- Formalising the WASM spec in Lean☆18Updated 6 months ago