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
• 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
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆44Updated 4 years ago
• michalkonecny / aern2
  A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
  ☆23Updated 3 months ago
• taktoa / eqsat
  A language-generic implementation of equality saturation in Haskell
  ☆21Updated 6 years ago
• MatthewDaggitt / agda-routing
  An Agda library for reasoning about asynchronous iterative algorithms and network routing problems
  ☆27Updated last year
• JacquesCarette / pi-dual
  Collaborative work on reversible computing
  ☆25Updated 3 years ago
• affeldt-aist / coq-robot
  Mathematics of Rigid Body Transformationss using Coq and MathComp
  ☆27Updated 3 weeks ago
• LS-Lab / Coq-dL
  A formally verified implementation of differential dynamic logic in Coq
  ☆18Updated 3 years ago
• dboulytchev / miniKanren-coq
  A certified semantics for relational programming workout.
  ☆26Updated 4 years ago
• nachivpn / nbe-course
  NbE course @ Chalmers
  ☆28Updated 9 months ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆31Updated 4 years ago
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 4 years ago
• rocq-community / aac-tactics
  Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…
  ☆31Updated last month
• laMudri / quantitative
  ☆16Updated 3 years ago
• CodaFi / Agda-Metaprogramming
  Dependently Typed Metaprogramming Exercises
  ☆23Updated 7 years ago
• evincarofautumn / Ward
  A static analysis tool for C.
  ☆27Updated 5 years ago
• folivetti / srtree
  Haskell library for representing and manipulating Symbolic Regression Tree
  ☆11Updated 3 weeks ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆52Updated last week
• jwiegley / coq-cds4ltl
  A formalization of finite, constructive log analysis using linear temporal logic
  ☆22Updated last month
• pi8027 / efficient-finfun
  ☆13Updated 5 years ago
• uwplse / StructTact
  Coq utility and tactic library.
  ☆24Updated last year
• doublescale / rastermizer
  View 3D models in the terminal
  ☆10Updated 5 years ago
• mit-plv / rewriter
  Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
  ☆25Updated 2 weeks ago
• tuura / selective-theory-coq
  Selective applicative functors laws and theorems
  ☆14Updated 5 years ago
• bitonic / tog
  ☆26Updated 8 years ago
• amosr / folderol
  machine fusion
  ☆16Updated 6 years ago
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 6 years ago
• dunnl / tealeaves
  A Coq library for abstract syntactical reasoning
  ☆23Updated 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