JPMoresmau / dbIDE
Prototype of a web based, database driven Haskell IDE
☆17Updated 8 years ago
Alternatives and similar repositories for dbIDE:
Users that are interested in dbIDE are comparing it to the libraries listed below
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- Continuously varying values, made easy :)☆40Updated 5 years ago
- A Typeable-free implementation of extensible effects☆26Updated 7 years ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 3 months ago
- ☆31Updated 3 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- Transactional cache with configurable persistence☆46Updated last year
- A Dockerfile to build a development environment for Android version of Epidemic.☆30Updated 8 years ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 7 years ago
- Haskell library for efficiently building up buffers☆26Updated 2 months ago
- high-resolution performance benchmarking☆26Updated last month
- A nullary type class for partial functions☆15Updated 7 years ago
- Give Haskell development tools access to Cabal project environment.☆24Updated 4 years ago
- An alternative interface to Opaleye, built around type families☆13Updated 8 years ago
- A fast globally unique variable supply with a pure API☆16Updated last year
- van Laarhoven Free Monad with Extensible Effects☆23Updated 9 years ago
- A simple XML module for Idris.☆13Updated 4 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Typesafe, composable SQL in haskell - Talk given at BFPG 2015-09☆11Updated 9 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- Invertible parsing for S-expressions☆34Updated 6 months ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 10 years ago
- Haskell routes using dependent types☆10Updated 8 years ago
- Some useful control operators for looping☆48Updated 5 years ago
- A GHC type checker plugin for row types☆39Updated 7 years ago
- An OS written in Idris (eventually...)☆19Updated 10 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 6 years ago
- Flush system metrics to statsd☆26Updated 4 months ago