jetaggart / light-haskell
Haskell plugin for LightTable
☆114Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for light-haskell
- Haskell implementation of Mustache template☆96Updated 6 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 9 years ago
- Purely functional, persistent and efficient vector and hash-map data structures for Haskell☆45Updated 6 years ago
- yet another monad lib for clojure☆93Updated 6 years ago
- Stack-based JSON interface to ide-backend☆98Updated 8 years ago
- Om with Haskell in it☆104Updated 9 years ago
- (Haskell) Web application server with stateful, type safe user interactions and widget combinators☆100Updated 9 years ago
- Frege Translation of "Learn You a Haskell for Great Good!."☆51Updated 8 years ago
- The Haskell Refactoring Tool☆139Updated 7 years ago
- ☆41Updated 9 years ago
- PureScript UI framework based on lenses.☆122Updated 8 years ago
- ☆51Updated 9 years ago
- A fast Haskell client library for the Riak decentralized data store☆50Updated last year
- Haskell code generator☆22Updated 9 years ago
- Emacs mode for PureScript☆44Updated 6 years ago
- ☆94Updated 8 years ago
- Qt bindings for Haskell☆34Updated 7 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆218Updated 6 years ago
- A secure web framework, built in the Idris language.☆109Updated 10 years ago
- A starter-kit for the Scotty web framework☆64Updated 6 years ago
- Support Frege compiler via leiningen☆33Updated 8 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 9 years ago
- ide-backend drives the GHC API to build, query, and run your code☆120Updated 8 years ago
- The Haskell Refactoring Tool☆136Updated 4 years ago
- Server for stable, curated Haskell package sets☆106Updated 5 months ago
- Low-level PureScript wrappers for React Native☆60Updated 8 years ago
- ☆92Updated 9 years ago
- Haskell WAI Framework☆31Updated 9 years ago
- 2048 in Idris☆121Updated 6 years ago
- The Ntha Programming Language☆93Updated 8 years ago