zypeh's repositories
intermixture
Building a place to create, manage and learn with data.
ts-template
My kind of typescript backend template
all-hls
Cached Haskell Language Server Nix builds for all GHC versions
currycarbon
An experimental radiocarbon calibration module written in and for Haskell
disco-ball-gc
мусор
doom-emacs
An Emacs framework for the stubborn martian hacker
editord
Editord is a daemon for editor.
flatparse
Fast parsing from bytestrings
Formality-Core
Specification of the Formality proof and programming language
hackage-server
Hackage-Server: A Haskell Package Repository
haskell-language-server
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
LispHappily
A Happy compiler
logos
Create ridiculously fast Lexers
mmark
Strict markdown processor for writers
monte-carlo-bank
A bank founded in Monte Carlo. Namely MCB.
murmur3
Pure Haskell implementation of the MurmurHash3 x86_32 algorithm.
normalization-bench
Lambda normalization and conversion checking benchmarks for various implementations
purelude
Cool Haskell prelude for personal usage.
repin-rope
A specialized rope data structure using modified fingertree used by Repin-editor.
z-http
Z HTTP server & client