Repository Index

Haskell AMQP client library

Convert Elm project into Nix expressions

• elm
• elm-lang
• nix
• haskell

A simple Nix-Haskell skeleton

• nix
• haskell
• skeleton

Virtual Haskell Environment builder

Haskell: Derive Elm types from Haskell types

😴 Functional programming with lazy immutable iterables

• iterables
• functional-programming
• iterator
• haskell

Convert Haskell source code to Coq source code.

• coq
• haskell

🔍 A step-by-step guide to parsing using Haskell parser combinators.

• haskell
• parser
• parser-combinators
• parsing

RethinkDB client library for Haskell

Haskell distributed stream processing with exactly-once semantics

Automates certain common tasks that you do during programming competitions

• programming-competitions
• codeforces
• codechef
• command-line-tool

Idris LLVM codegen factored out

Experimental Malfunction backend for Idris

JSON quasiquoter for Haskell

The repository host gives no description.

Generate Elm types, encoders, and decoders from Haskell types

InfluxDB client library for Haskell

• influxdb
• haskell

GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell

• haskell
• haskell-application
• cqrs-application
• frp

"Hack" like a programmer in movies and games! Inspired by hackertyper.net

• haskell
• joke
• hacking
• typing

Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.

• c
• cicili
• compiler
• lisp

A collection of awesome Haskell videos. Inspired by awesome projects line.

• awesome
• haskell
• videos
• awesome-list

My collection of Haskell snippets for LuaSnip. Powered by tree-sitter and LSP.

• haskell
• luasnip
• neovim
• neovim-plugin

List manipulation library inspired by Haskell package Data.List

• list
• lisp
• haskell

Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott