textiles-lab / fenced-tangle-supplemental

Related projects ⓘ

Alternatives and complementary repositories for fenced-tangle-supplemental

• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 4 years ago
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 2 months ago
• emacsmirror / wisp-mode
  Tools for wisp: the Whitespace-to-Lisp preprocessor
  ☆12Updated 3 weeks ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated last year
• mingodad / parsertl-playground
  A web based playground for parsertl/lexertl
  ☆19Updated this week
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 6 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 5 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 4 years ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆15Updated last month
• tlaplus-community / tlauc
  Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
  ☆28Updated 2 weeks ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• extism / lean4-sdk
  Extism Lean 4 Host SDK
  ☆15Updated 2 weeks ago
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆14Updated 4 months ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆19Updated 2 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• luqui / Djest
  A programming language that deduces code from tests
  ☆30Updated 6 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆26Updated 2 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• shriram / smol
  The SMoL (Standard Model of Languages) Family of Languages
  ☆15Updated last month
• phase / dtt
  experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust
  ☆23Updated 8 months ago
• coq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆12Updated 10 months ago
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆22Updated 2 years ago
• pflanze / chj-schemelib
  A collection of libraries in Scheme
  ☆12Updated 3 years ago
• ninja-rs / ninja-rs
  Ninja is a small build system with a focus on speed. Rust language port.
  ☆16Updated 6 years ago
• chrisroman / coc
  Calculus of Constructions Implementation
  ☆14Updated 4 years ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆26Updated 3 years ago