ShellCheck, a static analysis tool for shell scripts

Cryptographic currency implementing Ouroboros PoS protocol

A Dependently Typed Functional Programming Language

Terminal-based presentations using Pandoc

C to Rust translator

Homomorphic machine learning

Haskell bindings for TensorFlow

Haskell LLVM JIT Compiler Tutorial

A programming language with static memory management based on λ-calculus

Industrial-strength monadic parser combinator library

Embedded language for high-performance array computations

Haskell API search engine

Haskoin Core is a Bitcoin and Bitcoin Cash library

Compositional pipelines

Functional Reactive Programming domain-specific language for efficient hybrid systems

Anonymous records

Previous version of LambdaCube 3D as Embedded Domain Specific Language in Haskell. Check the latest system:

Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.

An experiment in re-implementing big integers in Haskell.

tiny hack for colored pretty-printing within ghci

Haskell ECMA 262 interpreter