bollu

polybench-hs

Polybench HS

sunnyside

Equality saturation for fun and profit

bcwc_pcie

Reverse engineered Linux driver for the FacetimeHD (Broadcom 1570) PCIe webcam

Bonzomatic

Live shader coding tool and Shader Showdown workhorse

bytestring

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

chs

♝♞ Play chess against the Stockfish engine in your terminal.

condition

A 64KB WebGL Intro. Appeared in Revision 2021, PC 64KB Intro Compo

docco

Literate Programming can be Quick and Dirty.

egg

egg is a flexible, high-performance e-graph library

elvish

Friendly Interactive Shell and Expressive Programming Language

fractions

lazy continued fractions

ghc-whole-program-compiler-project

GHC Whole Program Compiler and External STG IR tooling

ghc-wpc-mlir

GHC-WPC bridge to generate MLIR as encoded by lz: https://github.com/bollu/lz

HellOS

"hello world" x86 kernel example

helm

Helm - a free polyphonic synth with lots of modulation

kakoune

mawww's experiment for a better code editor

klein

P(R*_{3, 0, 1}) specialized SIMD Geometric Algebra Library

lambdapure

libsemigroups

C++ library for semigroups and monoids

llhd

Low Level Hardware Description — A foundation for building hardware design tools.

neovide

No Nonsense Neovim Client in Rust

order

Order theory

pixelsort

Pixel sorting images in python.

pwntools

CTF framework and exploit development library

sage

Mirror of the Sage source tree -- please do not submit PRs here -- everything must be submitted via https://trac.sagemath.org/

thesis

toaruos

A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network stack, etc.

toy-language-server

Example language server (LSP) implementation for a toy language

vector

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

vim-jumpmotion

Jump to anywhere using any motion in all modes: Lightweight alternative to vim-easymotion