lukemaurer / sequent-core
Alternative Core language for GHC plugins
☆39Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for sequent-core
- An experimental intermediate language for GHC☆37Updated 7 years ago
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆25Updated 6 years ago
- ☆28Updated 6 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 4 years ago
- System F implemented in Haskell☆24Updated 12 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆44Updated 2 years ago
- being a thing I build on a Saturday☆28Updated 6 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 7 months ago
- "Programs that explain their effects" talk material☆17Updated 6 years ago
- Yet another concurrent playground☆32Updated 9 years ago
- ☆23Updated 9 years ago
- Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.☆25Updated 7 years ago
- Quasiquoter for LLVM☆31Updated 6 years ago
- This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.☆22Updated 2 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆26Updated 3 years ago
- Type-level well-kinded natural numbers.☆33Updated 5 months ago
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- Work on type class deriving with elaboration reflection☆31Updated 6 years ago
- Free Monads and useful constructions to work with them☆26Updated 6 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- A GHC plugin and library for analysing GHC Core☆53Updated 2 years ago
- ☆14Updated 6 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Codo notation for programming with comonads in Haskell☆26Updated 3 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- being the emperor of Mongo, but also a verb☆15Updated 5 years ago