bollu Goto Github PK

2024-lean4-borrowing

Fork of the Lean4 compiler for borrowing changes.

4klang

Official 4klang repository

6.006-2015-notebooks

absint

abstract interpreters for a tiny SSA language in haskell

act

Run your GitHub Actions locally 🚀

active

Time-varying values with start and end times.

agda-presburger

Deciding Presburger arithmetic in agda

agda-summer-school

Summer school on programming in Agda

agdakoans

Zen koans for Agda

algebraic-topology-2020

source for course web page

all-parikshit-code

Code I wrote a lifetime ago for attritude determination and control systems for a student satellite.

alok-bollu

A repo for work between Alok Debnath and Siddharth Bhat

amalgam

amalgam ~ composite | A small library for interactive symbolic number theory explorations in haskell

ariadne.lean

A port of the ariadne rust error printing library to lean: https://docs.rs/ariadne/latest/ariadne/

asterius

A Haskell to WebAssembly compiler

balloon-lang

The balloon programming language and interpreter.

barvinok

References and slides of the barvinok algorithm

basicsynth

Clone of BasicSynth 1.5, for use with Daniel R. Mitchell's book of the same name.

bcwc_pcie

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

binaryen

Compiler infrastructure and toolchain library for WebAssembly, in C++

biter

library / CLI as a swiss-army knife for low level bit fiddling debugging.

bitnebula

https://blog.vghaisas.com

blaze

Haskell re-implementation of STOKE, the stochastic superoptimizer

bollu.github.io

code + contents of my website, and programming life

bonzomatic

Live shader coding tool and Shader Showdown workhorse

brial

Successor to PolyBoRi

brick

A declarative terminal UI programming library written in Haskell

bsc

Bluespec Compiler (BSC)

bytestring

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

c2js

Transpiler from C To JS for nasty bits of the GHC RTS. Exploration for Asterius, a Haskell -> WebAssembly compiler