dbeacham

purescript

A strongly-typed language that compiles to JavaScript

EventStore

EventStoreDB, the event-native database. Designed for Event Sourcing, Event-Driven, and Microservices architectures

stan

Stan development repository. The master branch contains the current release. The develop branch contains the latest stable development. See the Developer Process Wiki for details.

agda

Agda is a dependently typed programming language / interactive theorem prover.

html5ever

High-performance browser-grade HTML5 parser

purescript-halogen

A declarative, type-safe UI library for PureScript.

eventstore

Event store using PostgreSQL for persistence

haskell-opaleye

LinearML

Functional language for parallel programming

Frames

Data frames for tabular data.

thesis

Richard A. Eisenberg's PhD Dissertation

eclair-lang

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

cborg

Binary serialisation in the CBOR format

rfc

My slides and compilation of resources.

extreme

Elixir Adapter for EventStore

SimpleFP-v2

A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS

SSGEP

GQFC

Source material for "Functional Pearl: Getting a Quick Fix on Comonads"

rbm

restricted boltzmann machine

schoolofhaskell

milena

the (very humble) beginnings of a kafka client for haskell

vector-sized

torrent

css-text

CSS parser and renderer.

qwu

twitter clone in haskell

recursion-schemes-ix

Recursion schemes over indexed Functors

ellipsis

dotfiles and configs

haschool

Where to put my haskell learnings

PGM

Probabilistic Graphical Models @ Stanford

stanford-cs240h

Stanford CS240h: Functional systems in haskell