JPMoresmau / dbIDE
Prototype of a web based, database driven Haskell IDE
☆17Updated 8 years ago
Related projects: ⓘ
- Continuously varying values, made easy :)☆40Updated 4 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 6 years ago
- Make presentations for data types☆25Updated 2 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 3 months ago
- ☆25Updated this week
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Updated 2 years ago
- ☆18Updated 2 years ago
- An OS written in Idris (eventually...)☆17Updated 9 years ago
- Haskell library for efficiently building up buffers☆25Updated last month
- Haskell routes using dependent types☆10Updated 8 years ago
- A Dockerfile to build a development environment for Android version of Epidemic.☆30Updated 8 years ago
- A Typeable-free implementation of extensible effects☆26Updated 7 years ago
- ☆20Updated 7 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Simple Haskell API for LMDB☆12Updated 5 years ago
- A hack to find types in Haskell codebases☆11Updated 9 years ago
- A GHC type checker plugin for row types☆39Updated 6 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 5 months ago
- Protocol Buffers library for Haskell☆22Updated 3 years ago
- An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff☆24Updated 6 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 5 years ago
- Dump GHC's abstract syntax trees☆41Updated 2 years ago
- Graph database in Haskell☆24Updated 8 years ago
- An alternative interface to Opaleye, built around type families☆13Updated 7 years ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- Give Haskell development tools access to Cabal project environment.☆24Updated 3 years ago
- ☆31Updated 2 years ago
- Perform GPIO from Haskell☆21Updated 5 years ago