textiles-lab / fenced-tangle-supplementalLinks
☆14Updated 2 years ago
Alternatives and similar repositories for fenced-tangle-supplemental
Users that are interested in fenced-tangle-supplemental are comparing it to the libraries listed below
Sorting:
- a datastructure for scalable combinatorial syntax☆19Updated 11 months ago
- Datalog + Egg = Good☆66Updated 2 years ago
- A minimal proof checker.☆79Updated last year
- Apple array system☆69Updated last month
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Updated 4 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆95Updated this week
- ☆37Updated last year
- The Brown Benchmark for Table Types (B2T2)☆67Updated 6 months ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆53Updated 3 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆42Updated 8 months ago
- An encyclopedia of proofs☆64Updated last year
- A toolkit for higher-dimensional diagram rewriting.☆18Updated 3 years ago
- ☆120Updated 2 years ago
- Real number computation software☆129Updated 3 years ago
- A formal consistency proof of Quine's set theory New Foundations☆79Updated 7 months ago
- Various Futhark benchmark programs☆43Updated 2 weeks ago
- Finite state machines as graphs☆60Updated 5 years ago
- A formally verified compiler for a simple language with numbers and sums☆27Updated 5 years ago
- Specification of the Formality proof and programming language☆41Updated 3 years ago
- Datalog with equality for rust☆72Updated last month
- Bologna Optimal Higher-Order Machine, Version 1.1☆84Updated 8 years ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆121Updated last month
- Slides and handwritten notes on the course on models of programming languages☆53Updated 5 years ago
- A functional fluent API generator☆35Updated 3 years ago
- (early experiments toward) a version-control system for structured data☆19Updated 2 years ago
- Interpreter for the reversible functional language rFun☆38Updated 7 years ago
- A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.☆90Updated this week
- Logically Qualified Data Types - automatically infer refinement types☆16Updated 4 years ago
- The rule-based graph programming language GP 2☆77Updated 2 months ago
- Operad Programming Language in Haskell, by David Darais☆33Updated 11 years ago