cryptol
Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implemen...
Latest release 2.6.0 - Updated - 765 stars
purescript
A small strongly, statically typed programming language with expressive types, inspired by Haskel...
Latest release 0.12.2 - Updated - 5.95K stars
elm-compiler
Elm aims to make client-side web-development pleasant. It is a statically/strongly typed, functio...
Latest release 0.15 - Updated - 5.19K stars
haskell-src-exts
Haskell-Source with Extensions (HSE, haskell-src-exts) is a standalone parser for Haskell. In add...
Latest release 1.21.0 - Updated - 154 stars
bound
We represent the target language itself as an ideal monad supplied by the user, and provide a Sco...
Latest release 2.0.1 - Updated - 87 stars
language-java
Java source manipulation.
Latest release 0.2.9 - Updated - 55 stars
haste-compiler
This package provides a featureful compiler from Haskell to Javascript. It generates small, fast ...
Latest release 0.6.0.0 - Updated - 1.27K stars
stylish-haskell
A Haskell code prettifier. For more information, see: https://github.com/jaspervdj/stylish-haske...
Latest release 0.9.2.1 - Updated - 548 stars
haskell-tools-debug
Developer tools for Haskell
Latest release 1.1.1.0 - Updated - 242 stars
haskell-tools-rewrite
Developer tools for Haskell
Latest release 1.1.1.0 - Updated - 242 stars
haskell-tools-refactor
Developer tools for Haskell
Latest release 1.1.1.0 - Updated - 242 stars
haskell-tools-prettyprint
Developer tools for Haskell
Latest release 1.1.1.0 - Updated - 242 stars
atom
Atom is a Haskell DSL for designing hard realtime embedded software. Based on guarded atomic acti...
Latest release 1.0.13 - Updated - 215 stars
hint
This library defines an Interpreter monad. It allows to load Haskell modules, browse them, type-c...
Latest release 0.9.0 - Updated - 134 stars
language-javascript
Parses Javascript into an Abstract Syntax Tree (AST). Initially intended as frontend to hjsmin. ...
Latest release 0.5.14.8 - Updated - 94 stars
lhs2tex
Preprocessor for typesetting Haskell sources with LaTeX
Latest release 1.22 - Updated - 67 stars
haskell-names
This package takes modules parsed with haskell-src-exts, resolves used names and annotates the pa...
Latest release 0.9.6 - Updated - 46 stars
language-ecmascript
Tools for working with ECMAScript 3 (popularly known as JavaScript). Includes a parser, pretty-pr...
Latest release 0.19 - Updated - 41 stars
th-lift
Derive Template Haskell's Lift class for datatypes.
Latest release 0.7.11 - Updated - 11 stars
bond
Bond is a cross-platform framework for working with schematized data. It supports cross-language ...
Latest release 0.11.0.3 - Updated - 1.94K stars
liquidhaskell
Liquid Types for Haskell.
Latest release 0.8.2.4 - Updated - 649 stars
haskell-tools-experimental-refactorings
Developer tools for Haskell
Latest release 1.1.1.0 - Updated - 242 stars
haskell-tools-daemon
Developer tools for Haskell
Latest release 1.1.1.0 - Updated - 242 stars
haskell-tools-cli
Developer tools for Haskell
Latest release 1.1.1.0 - Updated - 242 stars
haskell-tools-builtin-refactorings
Developer tools for Haskell
Latest release 1.1.1.0 - Updated - 242 stars
haskell-tools-demo
Developer tools for Haskell
Latest release 1.1.1.0 - Updated - 242 stars
husk-scheme
Husk is a dialect of Scheme written in Haskell that implements a superset of the R5RS standard....
Latest release 3.19.3 - Updated - 202 stars
language-c-inline
This library provides inline C & Objective-C code using GHC's support for quasi-quotation. In par...
Latest release 0.7.11.0 - Updated - 142 stars
msgpack-idl
An IDL Compiler for MessagePack http://msgpack.org/
Latest release 0.2.1 - Updated - 107 stars
hssqlppp-th
hssqlppp extras which need template-haskell Documentation, examples on the homepage: http://jake...
Latest release 0.6.1 - Updated - 75 stars
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search