uwplse / reincarnate-aec
Reincarnate Artifact for ICFP 2018
☆13Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for reincarnate-aec
- An elegant implementation of discrete diffgeo in haskell☆33Updated 4 years ago
- Collection of algorithms in Computational Geometry.☆18Updated 7 years ago
- Automatically exported from code.google.com/p/trellys☆46Updated 5 years ago
- A geometric algebra implementation in Haskell☆28Updated 4 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.☆21Updated 7 years ago
- A certified semantics for relational programming workout.☆26Updated 4 years ago
- Specification of the Cedille Core language☆29Updated 4 years ago
- A string diagram generator for LaTeX.☆26Updated last year
- Selective applicative functors laws and theorems☆14Updated 4 years ago
- machine fusion☆16Updated 6 years ago
- NbE course @ Chalmers☆28Updated last month
- A language-generic implementation of equality saturation in Haskell☆21Updated 5 years ago
- ☆28Updated 6 years ago
- Generalized Convolution and Efficient Language Recognition☆17Updated 5 years ago
- ☆23Updated last year
- ☆26Updated 7 years ago
- being bits and pieces I'm inclined to leave lying around☆46Updated last month
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆38Updated 2 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆69Updated 2 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆19Updated 4 years ago
- Fun plugin to play with the Gallina AST.☆38Updated 5 years ago
- A coq plugin to deal with commutative diagrams☆17Updated 4 months ago
- Haskell bindings to the Eigen C++ library☆16Updated 5 months ago
- being the materials for Summer 2013's course☆110Updated last year
- The Prettiest Printer☆35Updated 8 months ago
- ☆16Updated 2 years ago
- Fintie Sets in Cubical Agda☆12Updated 5 years ago
- ☆13Updated 4 years ago
- Work in progress☆34Updated 4 months ago
- A simple supercompiler formally verified in Agda☆28Updated 7 years ago