bollu

ward

WARD is a minimal, performant infinite whiteboard app for wacom tablets

diffgeo

A formalization of synthetic differential geometry in Coq using infinitesimal analysis

soundsynth

Bollu learns physically based sound sythesis

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

codeforces-contest-solve-tracker

cubicaltt

Experimental implementation of Cubical Type Theory

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

demos

bollu learns demoscening from processing twitter

dependence-analysis-coq

Coq proof of fundamental theorem of dependence analysis

gap

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

hoare-toy

A tiny toy formalization of Hoare logic for IMP with a proof of soundness

IdrisExtSTGCodegen

imgui

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

immer

Postmodern immutable and persistent data structures for C++ — value semantics at scale

Insta20210601

lean4-maze

maze game encoded in Lean 4 syntax

lsp

Haskell library for the Microsoft Language Server Protocol

matchpy

A library for pattern matching on symbolic expressions in Python.

microui

A tiny immediate-mode UI library

miri

An interpreter for Rust's mid-level intermediate representation

mtm

A fork of the smallest useful terminal multiplexer(deadpixi/mtm) + modifications for my workflow

plfa.github.io

Introduction to programming language theory in Agda

rasterizer

bollu learns how to write a software rasterizer

SHADERed

Lightweight, cross-platform & full-featured shader IDE

st

suckless terminal fork that I use

temci

An advanced benchmarking tool

vis

A vi-like editor based on Plan 9's structural regular expressions