Alternatives and similar repositories for fenced-tangle-supplemental

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

• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated 10 months ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 2 months ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• githwxi / XATSHOME
  For hosting ATS3 and developing CodeDepot
  ☆13Updated this week
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆16Updated 3 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated 2 years ago
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 8 months ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 10 months ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆17Updated 7 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆70Updated last week
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆16Updated last year
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 4 years ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆16Updated last week
• CyberCat-Institute / Aptwe
  A well typed by construction kernel language for bidirectional programming
  ☆14Updated 4 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• opencompl / lean-gap
  An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
  ☆15Updated 2 years ago
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆13Updated 4 months ago
• Soonad / Formality-Net-Animator
  Animations for Elementary-Affine-Net interactions
  ☆11Updated 5 years ago
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆18Updated 3 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• NeoCogi / pfds
  ☆18Updated 7 months ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated last month
• chessai / hsdatalog
  BDD-based implementation of Datalog
  ☆37Updated 4 years ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 11 months ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated 11 months ago
• cachix / gptcomment
  ☆16Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated last week