Alternatives and similar repositories for fenced-tangle-supplemental

Users that are interested in fenced-tangle-supplemental are comparing it to the libraries listed below

• rzrn / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated last year
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆18Updated 3 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• githwxi / XATSHOME
  For hosting ATS3 and developing CodeDepot
  ☆15Updated last week
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 10 months ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆23Updated 3 years ago
• NeoCogi / pfds
  ☆18Updated 8 months ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆19Updated 2 years ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 6 months ago
• ammkrn / timelib
  A date and time library for Lean 4
  ☆12Updated 2 months ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated 2 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆21Updated last year
• cachix / gptcomment
  ☆16Updated last year
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆17Updated 8 months ago
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆16Updated last year
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 6 years ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆27Updated 2 weeks ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 3 months ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 5 years ago
• frankmcsherry / datatoad
  An interactive Datalog
  ☆33Updated last week
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆23Updated last year
• fafk / merkle_storage
  Key-value git-like storage with full history backed by RocksDB
  ☆13Updated 4 years ago
• CyberCat-Institute / Aptwe
  A well typed by construction kernel language for bidirectional programming
  ☆14Updated 5 months ago
• ionathanch / scraps
  Various mechanized proof files for fun.
  ☆11Updated 4 months ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 2 months ago
• mirefek / sokoban.lean
  Sokoban implementation in lean for proving solvability / unsolvability
  ☆13Updated 4 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago