extism / lean4-sdk
Extism Lean 4 Host SDK
☆15Updated last month
Related projects: ⓘ
- Tool for compiling Lean to WASM☆12Updated 6 months ago
- Formalising the WASM spec in Lean☆11Updated 2 months ago
- A WebAssembly implementation in Lean4☆32Updated 9 months ago
- A date and time library for Lean 4☆11Updated 5 months ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆23Updated 3 years ago
- Category Theory & Cobordism Categories in Lean 4☆14Updated 2 months ago
- Benchmarking framework for OCaml☆24Updated 8 months ago
- ☆11Updated 2 years ago
- Type-Level Programming in Rust☆26Updated 2 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- 🩺 A library for compiler diagnostics☆34Updated 6 months ago
- ☆29Updated this week
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆28Updated 2 weeks ago
- A TOML parser for Idris 2☆15Updated 2 months ago
- Fωμ type checker and compiler☆51Updated last year
- Toy implementation of Martin-Löf Type Theory☆27Updated 2 years ago
- An implementation of a simple Neural network in Idris using category theory.☆22Updated 5 months ago
- An implementation of Haskell’s MVars in Racket☆28Updated 6 months ago
- A simple induction and BMC engine.☆22Updated 2 years ago
- A Testing Framework for Lean☆41Updated last month
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆12Updated last week
- Getting started with ocaml-rs☆31Updated 2 weeks ago
- A Rust to OCaml source to source translator☆21Updated 7 months ago
- Low Level Bindings to Libev☆29Updated 4 months ago
- A simple implementation of XTT, "A cubical language for Bishop sets"☆26Updated 2 years ago
- An experimental language server for SomewhatML☆23Updated last year
- A type theory with native support for Polynomial Functors.☆37Updated 11 months ago
- Lean 4 port of Megaparsec☆22Updated 8 months ago
- A Rust implementation of the Lean kernel☆11Updated last year
- An implementation of "A Pretty Expressive Printer" in OCaml☆22Updated 6 months ago