Alternatives and similar repositories for reincarnate-aec

Users that are interested in reincarnate-aec are comparing it to the libraries listed below

• bollu / discrete-differential-geometry
  An elegant implementation of discrete diffgeo in haskell
  ☆33Updated 5 years ago
• taktoa / eqsat
  A language-generic implementation of equality saturation in Haskell
  ☆21Updated 6 years ago
• lecopivo / HouLean
  Lean 4 as a scripting language in Houdini
  ☆20Updated last year
• amosr / folderol
  machine fusion
  ☆16Updated 6 years ago
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Updated 5 years ago
• ankitku / TAL0
  Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.
  ☆22Updated 8 years ago
• rocq-community / dblib
  Coq library for working with de Bruijn indices [maintainer=@KevOrr]
  ☆30Updated 3 years ago
• jwiegley / coq-cds4ltl
  A formalization of finite, constructive log analysis using linear temporal logic
  ☆22Updated last week
• dboulytchev / miniKanren-coq
  A certified semantics for relational programming workout.
  ☆26Updated 4 years ago
• conal / convolution-paper
  Generalized Convolution and Efficient Language Recognition
  ☆17Updated 5 years ago
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆50Updated last year
• sconybeare / mltt
  Implementation of Martin-Löf Type Theory in Haskell
  ☆16Updated 9 years ago
• bitonic / tog
  ☆26Updated 8 years ago
• sweirich / trellys
  Automatically exported from code.google.com/p/trellys
  ☆47Updated 5 years ago
• smimram / strid
  A string diagram generator for LaTeX.
  ☆28Updated 2 years ago
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 6 years ago
• laMudri / quantitative
  ☆16Updated 3 years ago
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆44Updated 4 years ago
• peterlefanulumsdaine / palmgren-archive
  Research material of Erik Palmgren (1963–2019)
  ☆20Updated 2 months ago
• oisdk / agda-ring-solver
  A fast, easy-to-use ring solver for agda with step-by-step solutions
  ☆40Updated 3 years ago
• CodaFi / Agda-Metaprogramming
  Dependently Typed Metaprogramming Exercises
  ☆23Updated 7 years ago
• AndrasKovacs / universes
  Generalized syntax & semantics for universe hierarchies
  ☆31Updated last year
• pi8027 / efficient-finfun
  ☆13Updated 5 years ago
• nachivpn / nbe-course
  NbE course @ Chalmers
  ☆28Updated 9 months ago
• clf / celf
  ☆60Updated 6 years ago
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 5 years ago
• technicalguy / acs-category-theory-notes-2017
  Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
  ☆14Updated 7 years ago
• koka-lang / AddressC
  ☆12Updated 3 weeks ago
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 3 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆31Updated 4 years ago