bollu

lean-to

Jupyter notebook for the Lean4 programming language

ward

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

lz

A minimal in MLIR dialect along the lines of STG to represent laziness.

soundsynth

Bollu learns physically based sound sythesis

w

algorithms implemented in C++, written in the arthur whitney style

mlir-hoopl-rete

rewrites for MLIR with hoopl / rete

CASette

Mixtape of computer algebra system (CAS) algorithms

cmake-raytracer

Ray tracer written in pure CMake

codeforces-contest-solve-tracker

cvc5

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

doc-gen4

Document Generator for Lean 4

EigenLean

Lean 4 interface to Eigen

flake-compat

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

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

lean4-maze

maze game encoded in Lean 4 syntax

lean4_docs

The lean4 source code + documentation generated by leanprover/doc-gen4

LeanREPL

matchpy

A library for pattern matching on symbolic expressions in Python.

miri

An interpreter for Rust's mid-level intermediate representation

oleanparser

patat

Terminal-based presentations using Pandoc

PochiVM

Lightweight framework for easy and efficient code generation

rasterizer

bollu learns how to write a software rasterizer

SHADERed

Lightweight, cross-platform & full-featured shader IDE

SICL

A fresh implementation of Common Lisp

stochas

The Stochas Sequencer

temci

An advanced benchmarking tool