davidad / chitLinks
(early experiments toward) a version-control system for structured data
☆18Updated 2 years ago
Alternatives and similar repositories for chit
Users that are interested in chit are comparing it to the libraries listed below
Sorting:
- a datastructure for scalable combinatorial syntax☆19Updated 10 months ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Updated 4 years ago
- A Rust implementation of the Lean kernel☆11Updated 3 years ago
- Agda category theory library for denotational design☆54Updated 2 months ago
- Prototypes: Object Orientation, Functionally☆49Updated this week
- Normalization-by-evaluation in miniKanren☆25Updated 2 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆38Updated 2 months ago
- A toolkit for higher-dimensional diagram rewriting.☆18Updated 3 years ago
- Apple array system☆68Updated last week
- Interpreter for the reversible functional language rFun☆38Updated 7 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆38Updated last week
- Linear lens☆21Updated last year
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆14Updated 3 months ago
- ☆44Updated 3 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 6 years ago
- TPTP linear logic version☆15Updated 11 months ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆35Updated last year
- ☆37Updated last year
- Lean 4 as a scripting language in Houdini☆21Updated last year
- An error-tolerant live programming environment (my Master's thesis)☆20Updated 3 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆15Updated 10 months ago
- A template for you to implement Hazelnut yourself☆22Updated 5 months ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 11 years ago
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Updated 2 years ago
- From Zero to QED: An informal introduction to formality with Lean 4☆71Updated this week
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- An extended typed Lambda Calculus☆21Updated last year
- A collaborative environment for formal, interoperable, conceptual modeling☆136Updated this week
- ☆13Updated 3 years ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆60Updated last year