Alternatives and similar repositories for fenced-tangle-supplemental:

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

• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 8 months ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆16Updated 6 months ago
• shriram / smol
  The SMoL (Standard Model of Languages) Family of Languages
  ☆18Updated 3 months ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated 2 years ago
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆16Updated 3 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 5 years ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆16Updated last week
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 10 months ago
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated 9 months ago
• tchajed / database-stream-processing-theory
  Formalization of DBSP
  ☆17Updated last year
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• opencompl / lean-gap
  An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
  ☆15Updated 2 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 3 weeks ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 4 years ago
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆16Updated last year
• emacsmirror / wisp-mode
  Tools for wisp: the Whitespace-to-Lisp preprocessor
  ☆12Updated 6 months ago
• Copilot-Language / copilot-discussion
  Repository containg reports and documentation on Copilot
  ☆16Updated 4 months ago
• kubkon / zig-snapshots
  Preview Zig's incremental linker state in interactive HTML
  ☆44Updated 3 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated last month
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 6 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• dyaso / klein-ported-to-rust
  Port of Jeremy Ong's SIMD-enabled projective geometric algebra library
  ☆16Updated 4 years ago
• phase / dtt
  dependent type theory experiment
  ☆25Updated last year
• jkoppel / ecta
  ☆34Updated last year
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 5 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• LingDong- / lbll
  tiny experimental language for limited environments
  ☆17Updated 2 years ago