JPMoresmau / BuildWrapperLinks
Utility to manage haskell projects for an IDE
☆36Updated 10 years ago
Alternatives and similar repositories for BuildWrapper
Users that are interested in BuildWrapper are comparing it to the libraries listed below
Sorting:
- EclipseFP, the Haskell plug-in for Eclipse☆138Updated 4 years ago
- Left-leaning red-black trees☆49Updated 13 years ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Updated 7 years ago
- Prototype of a web based, database driven Haskell IDE☆17Updated 8 years ago
- Implementation of the cufp.org website.☆11Updated 7 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- Free Monads and useful constructions to work with them☆26Updated 6 years ago
- Purely functional, persistent and efficient vector and hash-map data structures for Haskell☆46Updated 7 years ago
- Lua parser and pretty-printer☆51Updated 9 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- First class composable record labels for Haskell.☆68Updated 3 years ago
- A fork of jhc. And also a Haskell compiler.☆134Updated 5 years ago
- An implementation of Functional Reactive Programming☆40Updated 10 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 10 years ago
- A typed logic programming language embedded in Haskell☆49Updated 12 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- ☆33Updated 9 years ago
- The Haskell File System: A file system implementation in Haskell☆38Updated 10 years ago
- Haskell suite library for name resolution☆52Updated last month
- A Haskell event notification library☆46Updated 14 years ago
- ☆31Updated 3 years ago
- Succinct vectors☆20Updated 6 years ago
- ☆23Updated 8 years ago
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- An HTTP Client in Haskell Based on Free Monads☆10Updated 9 years ago
- Common lower-level functions needed by various streaming data libraries☆36Updated 4 months ago
- A Plugin to use Idris with Sublime☆27Updated 4 years ago
- The eclipse plugin for frege, codename fregIDE☆31Updated 5 years ago
- JSON RPC using the remote monad☆9Updated 7 years ago