textiles-lab / fenced-tangle-supplementalLinks
☆14Updated last year
Alternatives and similar repositories for fenced-tangle-supplemental
Users that are interested in fenced-tangle-supplemental are comparing it to the libraries listed below
Sorting:
- Category Theory & Cobordism Categories in Lean 4☆16Updated last year
- Animation of Yves Lafont's Interaction Combinators☆18Updated 3 years ago
- A general purpose relational language☆19Updated 5 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- For hosting ATS3 and developing CodeDepot☆15Updated last week
- Fun with wgpu: Simulating slime mold☆24Updated 10 months ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- A simple induction and BMC engine.☆23Updated 3 years ago
- ☆18Updated 8 months ago
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 2 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 6 months ago
- A date and time library for Lean 4☆12Updated 2 months ago
- Your happy place for learning APL☆16Updated 2 years ago
- An LLVM interface for Lean 4. (WIP)☆21Updated last year
- ☆16Updated last year
- egraphs-good website☆17Updated 8 months ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆16Updated last year
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 6 years ago
- The Next Generation of Compositional Programming☆27Updated 2 weeks ago
- a datastructure for scalable combinatorial syntax☆18Updated 3 months ago
- Finite state machines as graphs☆59Updated 5 years ago
- An interactive Datalog☆33Updated last week
- Formalising the WASM spec in Lean☆23Updated last year
- Key-value git-like storage with full history backed by RocksDB☆13Updated 4 years ago
- A well typed by construction kernel language for bidirectional programming☆14Updated 5 months ago
- Various mechanized proof files for fun.☆11Updated 4 months ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- Sokoban implementation in lean for proving solvability / unsolvability☆13Updated 4 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago