🧱 Modula software package

Verification framework and tool for higher-order Scala programs

Fil-C: completely compatible memory safety for C and C++

Code for BLT research paper

Bringing BERT into modernity via both architecture changes and scaling

An open Algebraic Machine Learning (AML) engine for building models and performing inference. Designed for community-driven exploration and research in AML.

Dynamic Markov Blanket Discovery

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

egraphs + datalog!

The Vampire Theorem Prover

A collaborative environment for formal, interoperable, conceptual modeling

ACSets: Algebraic databases as in-memory data structures

MeTTa Optimal Reduction Kernel

Extremely fast, in memory, JSON and reflection library for modern C++

A Rust implementation of the machines in "Warren's Abstract Machine: A Tutorial Reconstruction."

Simple and expressive JSON format for describing rich-text content and their changes

Code to support the guide to logical induction for software engineers

lamdu - towards the next generation IDE

Sequence analysis library used by Eddy/Rivas lab code

Code

Code for Preventing Language Models From Hiding Their Reasoning, which evaluates defenses against LLM steganography.

SIMD (SSE) population count --- http://0x80.pl/articles/sse-popcount.html

Storage for my snippets, toy programs, etc.

AVX-optimized sin(), cos(), exp() and log() functions

Computes hamming distance, possibly with avx/avx2 instructions for x86 processors

Vectorized version of the PCG random number generator