kozross

nala

🦁 Nala - A delightful test framework for C projects.

mad-props

Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.

tinyc.games

Tiny C games you can compile and run RIGHT NOW

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

porcupine

Express parametrable, composable and portable data pipelines

luavela

Implementation of Lua 5.1, originally a fork of LuaJIT 2.0

streaming

An optimized general monad transformer for streaming applications, with a simple prelude of functions

dom5inspector

Dominions 5 data and mod browser.

hackage-trustees

Issue tracker for Hackage maintainance and trustee operations

static-text

Lists, Texts, ByteStrings and Vectors with type-encoded length

coercible-utils

Utility functions for Coercible types

sicp

HTML5/EPUB3 version of SICP

bitvec

Bit vectors: 8x less memory, up to 3500x faster than Vector Bool

shh

Simple shell like scripting from Haskell

futhark

:boom::computer::boom: A data-parallel functional programming language

obs-studio

OBS Studio - Free and open source software for live streaming and screen recording

GoodTwitter

json

🔋 In-place lightweight JSON parser

Batsh

A language that compiles to Bash and Windows Batch

libmdbx

One of the fastest embeddable key-value ACID database without WAL. libmdbx surpasses the legendary LMDB in terms of reliability, features and performance.

comonads-by-example

Comonads By Example Conference talk

stoneknifeforth

a tiny self-hosted Forth implementation

doxygen

Official doxygen git repository

penrose

Create beautiful diagrams just by typing notation in plain text.

functor-combinators

Combine and enhance Functors

inspection-testing

Inspection Testing for Haskell

MINGW-packages

Package scripts for MinGW-w64 targets to build under MSYS2.

ale

Check syntax in Vim/Neovim asynchronously and fix files, with Language Server Protocol (LSP) support

mlib

Library of generic and type safe containers in pure C language (C99 or C11) for a wide collection of container (comparable to the C++ STL).

succinct

playground for working with succinct data structures