madgen / temporalog
A Datalog extension to reason about time with CTL operators
☆14Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for temporalog
- Efficient parser combinators for Haskell☆39Updated 6 months ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- high-powered optics in a small package☆50Updated last month
- 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
- ☆23Updated 7 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Updated 8 months ago
- higher-kinded data☆30Updated last year
- A talk☆28Updated 3 years ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated 3 months ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Constraint Handling Rules☆15Updated last month
- A Haskell library for mathematical graph parsing and writing.☆20Updated 4 years ago
- ☆12Updated 4 years ago
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- Order theory☆23Updated last year
- Grammatical parsers - combinator library for parsing general context-free grammars☆36Updated 3 weeks ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- translations of a lambda abstraction to combinations of operators☆17Updated 5 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- A simple implementation of linear type theory☆38Updated 7 years ago
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- A proof that Idris is pacman complete☆8Updated 6 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Updated 6 years ago
- ☆16Updated 6 years ago
- Provides a type-safe way of working with permutations in Idris☆34Updated 3 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30Updated 2 years ago