(early experiments toward) a version-control system for structured data
☆19Jul 23, 2023Updated 2 years ago
Alternatives and similar repositories for chit
Users that are interested in chit are comparing it to the libraries listed below
Sorting:
- Structured decompositions!☆15Mar 26, 2025Updated 11 months ago
- A Categorical View of Computation☆34Jan 1, 2026Updated 2 months ago
- string diagrams for the working programmer☆14Jul 17, 2023Updated 2 years ago
- A Rust implementation of the Lean kernel☆11Jan 2, 2023Updated 3 years ago
- Symbolic Geometric Algebra with E-Graphs☆19Oct 11, 2023Updated 2 years ago
- Idris GraphQL☆16Dec 16, 2017Updated 8 years ago
- ☆16May 5, 2018Updated 7 years ago
- ☆16Jan 21, 2026Updated last month
- ☆52May 19, 2024Updated last year
- A framework for applied category theory in the Julia language☆19Oct 11, 2024Updated last year
- Conway's Game of Life using a comonad☆24Jan 3, 2025Updated last year
- a datastructure for scalable combinatorial syntax☆20Feb 28, 2025Updated last year
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 2 years ago
- ACSets: Algebraic databases as in-memory data structures☆27Feb 10, 2026Updated 2 weeks ago
- Free categories, free arrows and free categories with monadic actions☆24Mar 4, 2025Updated 11 months ago
- Formally verified Coq serialization library with support for extraction to OCaml☆24Oct 22, 2023Updated 2 years ago
- InsightPredictor is a structured machine learning pipeline focused on regression-based prediction using synthetic data. It simulates a re…☆19Jul 4, 2025Updated 7 months ago
- Finite state machines as graphs☆60Jun 23, 2020Updated 5 years ago
- User Interfaces for Programming Languages: The Compendium☆28Feb 14, 2021Updated 5 years ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Feb 1, 2022Updated 4 years ago
- Destiny 2 weapon rolls for DIM☆12Feb 23, 2026Updated last week
- Operad Programming Language in Haskell, by David Darais☆33Apr 1, 2014Updated 11 years ago
- A bare-bones blogging system, written in Prolog☆26Feb 3, 2024Updated 2 years ago
- Building dynamical systems compositionally☆77Feb 11, 2026Updated 2 weeks ago
- Proof theory seminar☆36Apr 6, 2021Updated 4 years ago
- A repository for teaching version control, python, and how to make PR-s for Hacktoberfest 2020.☆11Oct 2, 2021Updated 4 years ago
- The Agda Universal Algebra Library (html docs available at the url below)☆43Dec 20, 2025Updated 2 months ago
- ☆14Feb 18, 2022Updated 4 years ago
- A hotel reservation project for Git is a version-controlled software project that focuses on developing a system for managing hotel reser…☆21Dec 13, 2023Updated 2 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆38Jan 21, 2026Updated last month
- A categorical programming language with effects☆299Mar 6, 2023Updated 2 years ago
- Syntax trees for typst☆44Oct 2, 2025Updated 5 months ago
- Simplicial Sets and the Discrete Exterior Calculus☆41Feb 21, 2026Updated last week
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Mar 14, 2020Updated 5 years ago
- Assembler framework for Common Lisp.☆40Mar 11, 2025Updated 11 months ago
- This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general☆39Aug 29, 2025Updated 6 months ago
- Real-ESRGAN aims at developing Practical Algorithms for General Image/Video Restoration.☆10Jul 24, 2024Updated last year
- ☆37Oct 29, 2021Updated 4 years ago
- upbit-api on rust☆11May 28, 2025Updated 9 months ago