acfoltzer / Molog
A typed logic programming language embedded in Haskell
☆49Updated 11 years ago
Related projects ⓘ
Alternatives and complementary repositories for Molog
- Dependently typed elimination functions using singletons☆28Updated 2 weeks ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- ☆23Updated 7 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- Open records for Haskell☆22Updated 7 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- System F in coq.☆19Updated 9 years ago
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- Invertible parsing for S-expressions☆33Updated last month
- System F implemented in Haskell☆24Updated 12 years ago
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- Transactional cache with configurable persistence☆48Updated last year
- An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"☆23Updated 12 years ago
- Provides a type-safe way of working with permutations in Idris☆34Updated 3 years ago
- ☆17Updated 2 years ago
- An experimental intermediate language for GHC☆37Updated 7 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- A message-passing library, intended for simplifying network applications☆43Updated 6 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22Updated 8 years ago
- An OS written in Idris (eventually...)☆18Updated 9 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Updated 2 months ago
- A nullary type class for partial functions☆15Updated 6 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆14Updated last month
- ☆21Updated 7 years ago
- Some useful control operators for looping☆47Updated 4 years ago