davidad / chitLinks
(early experiments toward) a version-control system for structured data
☆19Updated 2 years ago
Alternatives and similar repositories for chit
Users that are interested in chit are comparing it to the libraries listed below
Sorting:
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆65Updated 4 years ago
- a datastructure for scalable combinatorial syntax☆19Updated 8 months ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆34Updated 2 months ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 3 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆37Updated 2 weeks ago
- A Rust implementation of the Lean kernel☆11Updated 2 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 6 years ago
- Apple array system☆68Updated this week
- ☆37Updated last year
- Lean 4 as a scripting language in Houdini☆21Updated last year
- A template for you to implement Hazelnut yourself☆22Updated 3 months ago
- ☆44Updated 2 years ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆52Updated 2 years ago
- Agda category theory library for denotational design☆53Updated last week
- Fast, CommonMark-compliant Markdown parser written in Racket☆34Updated last year
- BQN implementation in Julia☆18Updated 3 years ago
- Normalization-by-evaluation in miniKanren☆24Updated 2 years ago
- Interpreter for the reversible functional language rFun☆37Updated 7 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆32Updated 3 weeks ago
- Relational version of parsing with derivatives code☆43Updated 12 years ago
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Updated 7 months ago
- An extended typed Lambda Calculus☆21Updated last year
- An implementation of a simple Neural network in Idris using category theory.☆23Updated last year
- Category Theory in Programming☆12Updated 2 months ago
- A categorical semantics library in Agda.☆16Updated 5 years ago
- A collaborative environment for formal, interoperable, conceptual modeling☆125Updated this week
- A well typed by construction kernel language for bidirectional programming☆13Updated 9 months ago
- Datalog + Egg = Good☆66Updated 2 years ago
- TPTP linear logic version☆15Updated 9 months ago