Visualize computational graphs in the terminal.

Pixel graphics in terminal with unicode braille characters

Dependently Typed Metaprogramming Exercises

Code for the paper "Evaluating Large Language Models Trained on Code"

A massively parallel, optimal functional runtime in Rust

A file-based mirror of the nLab wiki (HTML format).

Minimal implementations for dependent type checking and elaboration

An interactive theorem prover for string diagrams

A C compiler written in Zig.

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

List of papers studying machine learning through the lens of category theory

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

Hypergraph is data structure library to create a directed hypergraph in which a hyperedge can join any number of vertices.

An experimental code analyzer for Julia. No need for additional type annotations.

A modern commutative diagram editor for the web.

Inkscape extension for designing simple 3D objects (2.5D actually) with inkscape. DOWNLOAD: https://github.com/fablabnbg/inkscape-paths2openscad/releases/latest

A parser combinator library for Zig

An implementation of differential dataflow using timely dataflow on Rust.

repository for grid cell network code

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

rslt, take five-ish

My personal Hammerspoon configuration - mirrored from GitLab

The Explorable Explanations Website

Wolfram Language Package for exploring Multiway Systems associated with Lie algebras from arbitrary Dynkin Diagrams

Personal webpage

A collection of workflows enhancing Bear writer app on iOS and Mac.

Represent files returned by a query as a table of their YAML frontmatter (for obsidian.md)

Community plugins list, theme list, and releases of Obsidian.

Markdown export from Bear sqlite database