uwplse / reincarnate-aec
Reincarnate Artifact for ICFP 2018
☆13Updated 9 months ago
Alternatives and similar repositories for reincarnate-aec:
Users that are interested in reincarnate-aec are comparing it to the libraries listed below
- An elegant implementation of discrete diffgeo in haskell☆33Updated 5 years ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆46Updated last year
- Collection of algorithms in Computational Geometry.☆18Updated 7 years 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.☆22Updated 8 years ago
- Lean 4 as a scripting language in Houdini☆20Updated last year
- Lean4 port of Arduino balance car controller☆44Updated 4 years ago
- A showcase of interesting code and proof developments in Cedille☆36Updated 2 years ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 6 years ago
- ☆26Updated 8 years ago
- Gallina to Bedrock2 compilation toolkit☆53Updated 2 weeks ago
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆26Updated last year
- Implementation of Martin-Löf Type Theory in Haskell☆16Updated 9 years ago
- Paper and talk☆53Updated last year
- Selective applicative functors laws and theorems☆14Updated 5 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- Generalized Convolution and Efficient Language Recognition☆17Updated 5 years ago
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆23Updated last week
- View 3D models in the terminal☆10Updated 5 years ago
- A geometric algebra implementation in Haskell☆29Updated 4 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Updated 6 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Updated 6 years ago
- Formally verified operator language and rewriting engine for high-performance computing☆24Updated 9 months ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- Dependently Typed Metaprogramming Exercises☆23Updated 7 years ago
- ☆29Updated 4 years ago
- NbE course @ Chalmers☆28Updated 6 months ago
- A static analysis tool for C.☆27Updated 5 years ago