oisdk / semiring-num
library with a semiring class and some useful semirings
☆11Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for semiring-num
- Automatic Differentiation using Pseudo Lenses. Neat.☆19Updated 4 years ago
- Regular expressions of types☆16Updated 6 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Updated 4 years ago
- Experiments in abstracting definitional interpreters☆16Updated 7 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 2 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Updated 6 years ago
- I/O utilities and datasets for algebraic-graphs☆13Updated 2 years ago
- Dependently typed elimination functions using singletons☆28Updated 2 weeks ago
- Austin's supercompiler work☆21Updated 4 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Updated 5 years ago
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆25Updated 10 months ago
- Proofs of the number of inhabitants of polymorphic functions☆23Updated 6 years ago
- Physical dimensions and operations☆9Updated 6 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Updated 6 years ago
- Bring fusion to everyone☆13Updated 4 years ago
- ☆23Updated 7 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆13Updated 5 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆14Updated last month
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆11Updated 3 years ago
- Haskell bindings to Chez Scheme☆10Updated last year
- A small NuPRL style proof assistant☆32Updated 5 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆11Updated 6 years ago
- A small-step semantics for Core☆10Updated 4 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Updated 4 years ago
- a throwaway implementation of normalization by evaluation☆13Updated 2 years ago
- Type level algebraic "proofs" using lens combinators☆19Updated 5 years ago
- Experimentation project☆16Updated 10 years ago