egraphs + datalog!

Boogie

Dafny is a verification-aware programming language

A list of links that I have found to be exceptional resources for learning/refreshing math and science topics.

[Development suspended] An efficient open-source postflop solver library written in Rust

A Visual Studio Code extension that creates sweet melodies based on what you type

Effortlessly transmitting Morse Code of chess moves to your butthole 💝

Super-fast hand rank evaluator for Texas hold'em poker

FPGA synthesis tool powered by program synthesis

😈Awful AI is a curated list to track current scary usages of AI - hoping to raise awareness

The best coding experience for Racket in VS Code

CLI to manage emails

cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.

OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.

A cat(1) clone with wings.

CSE 403: AlgoWiz

Collaborative Programmable Music

Guaranteed to float correctly

Vim rendered on a cube for no reason

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

Vim-fork focused on extensibility and usability

Idris mode for vim

A prototype successor to Idris

Java 1-21 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.

📚 Collaborative cheatsheets for console commands

Create and maintain your own man pages so you can remember how to do stuff

Master repository for the JGraphT project

A retro game engine for Python