Alternatives and similar repositories for srtree

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

• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 8 months ago
• ConcreteCactus / lcc
  A compiler that translates a form of lambda calculus to C
  ☆12Updated last year
• benjaminselfridge / logix
  Logic Explorer - customizable proof construction tool for sequent calculi
  ☆20Updated 3 years ago
• emc2 / arith-encode
  Practical arithmetic encoding (aka Gödel numbering) library for Haskell.
  ☆10Updated 5 years ago
• sellout / compiling-anything-to-categories
  a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
  ☆21Updated last year
• yveszhang / ldtyping
  ☆12Updated 9 years ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 2 years ago
• maxsnew / grammars-and-semantic-actions
  Intrinsic Verification of Formal Grammar Theory
  ☆22Updated 2 weeks ago
• gelisam / typechecker-combinators
  ☆17Updated last year
• MatthewDaggitt / agda-routing
  An Agda library for reasoning about asynchronous iterative algorithms and network routing problems
  ☆27Updated last year
• jyp / linear-smc
  Linear Types, Symmetric Monoidal Categories, and Tensors
  ☆13Updated last year
• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆16Updated 9 months ago
• jwiegley / coq-cds4ltl
  A formalization of finite, constructive log analysis using linear temporal logic
  ☆22Updated last week
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Updated 5 years ago
• bobatkey / agda-metric-reals
  ☆29Updated 2 years ago
• david-christiansen / bob24
  ☆16Updated last year
• llee454 / functional-algebra
  This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…
  ☆28Updated 6 years ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆20Updated 3 years ago
• phadej / kleene-type
  Regular expressions of types
  ☆16Updated 6 years ago
• AndrasKovacs / 2ltt-impl
  Eventually a practical 2-level TT-based compiler
  ☆27Updated 2 months ago
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆16Updated 2 months ago
• iwilare / church-rosser
  A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…
  ☆27Updated 2 years ago
• joom / direct-reflection-for-free
  using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell
  ☆15Updated 5 years ago
• alhassy / multistage-programming-taha
  A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''
  ☆10Updated 6 years ago
• phadej / staged
  Staged Streams and other stuff
  ☆18Updated 2 years ago
• dspivak / dependent-types
  ☆12Updated 2 months ago
• msp-strath / ask
  being a particular fragment of Haskell, extended to a proof system
  ☆32Updated 3 months ago
• ToposInstitute / polytt
  A type theory with native support for Polynomial Functors.
  ☆39Updated last year
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 4 months ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆46Updated last month