ayberkt

phantheck

Integrates QuickChecked properties into the type system with phantom types

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

swift

The Swift Programming Language

ducttape

A workflow management system for researchers who heart Unix.

svg-tree

SVG loader/serializer for Haskell

myrddin

type-systems

Implementations of various type systems in OCaml.

haskell-tor

A Haskell implementation of the Tor protocol.

f.lux

flux for iOS

vector

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

hmm

hidden markov models in haskell

hmm

hidden markov models in haskell

data.finger-tree

Finger Tree data structure

QuickFuzz

An experimental grammar fuzzer in Haskell using QuickCheck

10PL

10 papers that all PhD students in programming languages ought to know, for some value of 10

magma

magma algebraic library

eff

A functional programming language based on algebraic effect handlers

hasm

An Assembly-like programming language and interpreter in Haskell

agda

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

redish

A multi-threaded, TCP, key-value store inspired by Redis implemented in Haskell.

agda-proofs

agda-stdlib

The Agda standard library

j-bob

civ

Civilization-like game in Haskell.

pandoc

Universal markup converter

Guguk

Turkish NLP library in Haskell.

clojure-soup

Clojurized access for Jsoup.

lein-exec

Leiningen plugin for executing Clojure scripts

zor-yoldan-haskell

Turkish translation of Learn Haskell Fast and Hard by Yann Esposito.

flasky

Companion code to my O'Reilly book "Flask Web Development", second edition.