bollu

minos

There are many OSes, this one is mine

pisigma

A reference copy of PiSigma: dependent types with without the sugar

alok-bollu

A repo for work between Alok Debnath and Siddharth Bhat

sicm

structure and interpretation of classical mechanics

bcwc_pcie

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

Bonzomatic

Live shader coding tool and Shader Showdown workhorse

chs

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

condition

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

cubicaltt

Experimental implementation of Cubical Type Theory

demos

bollu learns demoscening from processing twitter

docco

Literate Programming can be Quick and Dirty.

egg

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

fractions

lazy continued fractions

ghc-whole-program-compiler-project

GHC Whole Program Compiler and External STG IR tooling

HellOS

"hello world" x86 kernel example

helm

Helm - a free polyphonic synth with lots of modulation

IdrisExtSTGCodegen

Insta20210601

kakoune

mawww's experiment for a better code editor

klein

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

lambdapure

lsp

Haskell library for the Microsoft Language Server Protocol

microui

A tiny immediate-mode UI library

neovide

No Nonsense Neovim Client in Rust

order

Order theory

plfa.github.io

Introduction to programming language theory in Agda

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