Alternatives and similar repositories for chit

Users that are interested in chit are comparing it to the libraries listed below

• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆65Updated 4 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 8 months ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆34Updated 2 months ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 3 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆37Updated 2 weeks ago
• argumentcomputer / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated 2 years ago
• Barry-Jay / Intensional-computation
  translations of a lambda abstraction to combinations of operators
  ☆18Updated 6 years ago
• vmchale / apple
  Apple array system
  ☆68Updated this week
• jkoppel / ecta
  ☆37Updated last year
• lecopivo / HouLean
  Lean 4 as a scripting language in Houdini
  ☆21Updated last year
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 3 months ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• jonsterling / math
  A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
  ☆52Updated 2 years ago
• conal / felix
  Agda category theory library for denotational design
  ☆53Updated last week
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆34Updated last year
• andreypopp / BQN.jl
  BQN implementation in Julia
  ☆18Updated 3 years ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆24Updated 2 years ago
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆37Updated 7 years ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆32Updated 3 weeks ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• namin / metamk
  Prolog-Style Meta-Interpreters in miniKanren
  ☆33Updated 7 months ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated last year
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated last year
• NoahStoryM / ctp
  Category Theory in Programming
  ☆12Updated 2 months ago
• xieyuheng / cat
  A categorical semantics library in Agda.
  ☆16Updated 5 years ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆125Updated this week
• CyberCat-Institute / Aptwe
  A well typed by construction kernel language for bidirectional programming
  ☆13Updated 9 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• meta-logic / lltp
  TPTP linear logic version
  ☆15Updated 9 months ago