extism / lean4-sdk

Related projects ⓘ

Alternatives and complementary repositories for lean4-sdk

• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆17Updated 4 months ago
• T-Brick / lean2wasm
  Tool for compiling Lean to WASM
  ☆14Updated 8 months ago
• ammkrn / timelib
  A date and time library for Lean 4
  ☆11Updated 7 months ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆32Updated 11 months ago
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆14Updated 4 months ago
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆28Updated last month
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 3 years ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆15Updated 4 months ago
• riot-ml / scarab
  Benchmarking framework for OCaml
  ☆23Updated 10 months ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆35Updated this week
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆23Updated 10 months ago
• argumentcomputer / RustFFI.lean
  Template for Lean<->Rust FFI
  ☆11Updated 9 months ago
• c-cube / linol
  Wrapper around the OCaml `lsp` library to make it easier to write LSP servers
  ☆28Updated last week
• lecopivo / lean4-karray
  ☆12Updated 2 years ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• zshipko / ocaml-rust-starter
  Getting started with ocaml-rs
  ☆31Updated 2 months ago
• phase / dtt
  experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust
  ☆23Updated 8 months ago
• chrisroman / coc
  Calculus of Constructions Implementation
  ☆14Updated 4 years ago
• thosgood / hodge-theory
  An English translation of Deligne's three "Hodge theory" papers
  ☆11Updated last month
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆22Updated 2 months ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆50Updated 4 years ago
• opencompl / lean-gap
  An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
  ☆15Updated 2 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆15Updated last year
• wasmerio / wasmer-ocaml
  OCaml bindings for Wasmer
  ☆33Updated 2 years ago
• rzk-lang / hottbook
  HoTT Book formalisations in Rzk.
  ☆17Updated 11 months ago
• mirage / irmin-rs
  ☆15Updated last year
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated last year
• madvorak / read-lean
  How to read Lean
  ☆16Updated 2 weeks ago