My builder for creating new projects

PL proofs in Lean 4

Personal fork of https://gitlab.com/doronbehar/nix-xilinx

Building uroboros with Nix

Experimenting with writing an SSA compiler inspired by LLVM

An embedable pure-Rust Lisp implementation with mark-and-sweep garbage collection

Customizable cache-thrashing

WIP lisp implementation for my editor in Rust

My linux dotfiles with setup scrip

Prototype barrier-based movable box for managed memory in Rust - very broken, do not use

My reimplementation of Vi(m) in Rust

WIP loader and renderer of Wavefront OBJ files for experimenting with mesh algorithms

Generates the set of all permutations of N well-formed parentheses, but fastly

Reference counting without weak pointers causing memory leaks

A simple, single-header testing framework for GNU/Linux

Rust quadtree implementation

Cluster-based dynamic level of detail based on UE5's Nanite

An experimental concurrent map specialized for non-uniform access patterns

Rust crate that provides explicit linkage to NVBLAS