iu-parfunc / haskell_dsl_tour
Examples of relevant technologies for implementing DSLs in Haskell.
☆14Updated 8 years ago
Related projects: ⓘ
- ☆23Updated 9 years ago
- ☆20Updated this week
- [Talk] Framing the Discussion with EDSLs☆9Updated 9 years ago
- System F in coq.☆19Updated 9 years ago
- An experimental intermediate language for GHC☆37Updated 7 years ago
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- Experiments in abstracting definitional interpreters☆16Updated 6 years ago
- Talk on generic parallel scan☆14Updated 7 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆13Updated 6 years ago
- ☆17Updated 2 years ago
- A nullary type class for partial functions☆15Updated 6 years ago
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 3 months ago
- The Prettiest Printer☆35Updated 7 months ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- Dependently typed elimination functions using singletons☆27Updated 3 months 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 7 months ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22Updated 8 years ago
- Open records for Haskell☆22Updated 6 years ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- Type Theory with Indexed Equality☆23Updated 7 years ago
- Austin's supercompiler work☆21Updated 4 years ago
- ☆23Updated 7 years ago
- "Programs that explain their effects" talk material☆17Updated 6 years ago
- ☆20Updated last year
- System F implemented in Haskell☆24Updated 12 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- A hashing-based graph implementation in Haskell☆33Updated 6 years ago
- Yet another concurrent playground☆32Updated 8 years ago