textiles-lab / fenced-tangle-supplemental
☆14Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for fenced-tangle-supplemental
- egraphs-good website☆15Updated last month
- Extism Lean 4 Host SDK☆15Updated 3 weeks ago
- A general purpose relational language☆20Updated 4 years ago
- Fun with wgpu: Simulating slime mold☆24Updated 2 months ago
- Your happy place for learning APL☆16Updated last year
- Category Theory & Cobordism Categories in Lean 4☆14Updated 4 months ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- Manifest manifold models with magical machinations.☆37Updated last year
- language verification, construction, and analysis☆20Updated 2 years ago
- tiny experimental language for limited environments☆17Updated last year
- Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa☆29Updated last month
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 5 years ago
- Tools for wisp: the Whitespace-to-Lisp preprocessor☆12Updated last month
- Type-Level Programming in Rust☆26Updated 2 years ago
- One-pass Code Generation in V8 (Archive)☆19Updated 2 years ago
- A web based playground for parsertl/lexertl☆19Updated this week
- A formal consistency proof of Quine's set theory New Foundations☆66Updated this week
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 8 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 5 months ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 4 months ago
- ☆10Updated 3 years ago
- benchmarking e-graph extraction☆36Updated last week
- A programming language and user interface toolkit for creating structured editors.☆19Updated last month
- (early experiments toward) a version-control system for structured data☆17Updated last year
- experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust☆23Updated 8 months ago
- Library for writing interactive and visual Futhark programs☆22Updated 5 months ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆45Updated last year