The KiCAD web viewer

A tool for domain-guided quantifier instantiation. Currently focused on BMC for the array theory.

A Git-compatible VCS that is both simple and powerful

FPGA synthesis tool powered by program synthesis

Work with Git forges from the comfort of Magit

Tree-sitter powered textobjects for evil mode in Emacs

Recursive Mono & Sans is a variable font family for code & UI

Programming Language designed for Program Synthesis with SMT-validation.

baby's first liquid type system

i am so smart

[Chumsky has moved to Codeberg!] Write expressive, high-performance parsers with ease.

Intermediate Language (IL) for Hardware Accelerator Generators

A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.

A sensible base Emacs configuration.

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

A "modern" emacs config

Table Component for elisp

Rewrite Rule Inference Using Equality Saturation

Search-based compiler for high-performance DSP programming

An implementation of Joshua Yanovski's Ghost Cell paper.

Spacemacs layer for editing Rust comments

Generate poems cobbled together from the remains of older, better poems, with a particular emphasis on rhyme and meter consistency.

A lighweight and parallel snapshot testing framework in rust

Web demo for the Calyx compiler

Native Linux App for UI and UX Design built in Vala and GTK

A Javascript visualizer for Verilog Value Change Dump (VCD) files.