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 7 months ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 2 years ago
• 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
• maxsnew / grammars-and-semantic-actions
  Intrinsic Verification of Formal Grammar Theory
  ☆19Updated this week
• JacquesCarette / Notes
  ☆13Updated 3 weeks ago
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆22Updated 3 weeks 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
• gdijkstra / hs-to-gallina
  Experimentation project
  ☆16Updated 11 years ago
• yveszhang / ldtyping
  ☆12Updated 8 years ago
• faulhornlabs / csip
  ☆21Updated this week
• dspivak / dependent-types
  ☆12Updated last month
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆35Updated this week
• gelisam / typechecker-combinators
  ☆17Updated last year
• jespercockx / reflection-tutorial
  ☆17Updated 6 years ago
• sellout / compiling-anything-to-categories
  a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
  ☆20Updated last year
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated last month
• AndrasKovacs / 2ltt-impl
  Eventually a practical 2-level TT-based compiler
  ☆27Updated 3 weeks ago
• david-christiansen / bob24
  ☆15Updated last year
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆20Updated 3 years ago
• danelahman / Normalization-By-Evaluation
  Formalization of normalization by evaluation for the fine-grain call-by-value language extended with algebraic effect theories
  ☆15Updated 12 years ago
• phadej / staged
  Staged Streams and other stuff
  ☆18Updated 2 years ago
• forked-from-1kasper / anders
  Anders: Cubical Type Checker
  ☆24Updated last year
• msp-strath / cs410-advanced-functional-programming
  CS410 "Advanced Functional Programming"
  ☆23Updated 2 weeks ago
• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆16Updated 8 months ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 3 months ago
• benjaminselfridge / logix
  Logic Explorer - customizable proof construction tool for sequent calculi
  ☆20Updated 2 years ago
• MatthewDaggitt / agda-routing
  An Agda library for reasoning about asynchronous iterative algorithms and network routing problems
  ☆27Updated last year
• gallais / typing-with-leftovers
  Self-contained repository for the eponymous paper
  ☆29Updated 6 years ago
• ekmett / nbe-in-java-19
  a throwaway implementation of normalization by evaluation
  ☆13Updated 2 years ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 3 months ago