uwplse / reincarnate-aec
Reincarnate Artifact for ICFP 2018
☆13Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for reincarnate-aec
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆23Updated 2 weeks ago
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆21Updated 7 years ago
- A framework for extensible, reflective decision procedures.☆19Updated 4 years ago
- A static analysis tool for C.☆26Updated 5 years ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆45Updated last year
- A language-generic implementation of equality saturation in Haskell☆21Updated 5 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆19Updated 4 years ago
- ☆23Updated last year
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆25Updated 10 months ago
- A coq plugin to deal with commutative diagrams☆19Updated 4 months ago
- Fun plugin to play with the Gallina AST.☆38Updated 5 years ago
- A string diagram generator for LaTeX.☆26Updated last year
- Lean4 port of Arduino balance car controller☆44Updated 3 years ago
- An elegant implementation of discrete diffgeo in haskell☆33Updated 4 years ago
- library with a semiring class and some useful semirings☆11Updated 5 years ago
- Selective applicative functors laws and theorems☆14Updated 4 years ago
- Collaborative work on reversible computing☆24Updated 3 years ago
- Theorems for Real Closed Fields☆13Updated 3 months ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Updated 8 years ago
- Collection of algorithms in Computational Geometry.☆18Updated 7 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆38Updated 2 years ago
- ☆11Updated 10 months ago
- LLVM support for the lean theorem prover☆31Updated 3 years ago
- Dependently Typed Metaprogramming Exercises☆22Updated 6 years ago
- A certified semantics for relational programming workout.☆26Updated 4 years ago
- View 3D models in the terminal☆10Updated 5 years ago
- machine fusion☆16Updated 6 years ago
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆29Updated 3 weeks ago
- ☆59Updated 5 years ago