Library for managing LLM interactions

"Quantum attention functions are the keys to quantum machine learning." ― Amit Ray

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

Build better UIs faster.

GitHub Action to compile LaTeX documents

Simple extension of Agda's standard library for personal use.

Play/learn/work with me

A modal logic for reasoning about step-indexed logical relations

System for collecting, deriving and working with facts about source code.

Tricks you wish the Coq manual told you [maintainer=@tchajed]

My sandbox for experimenting with solver algorithms.

Selected Papers of Dana S. Scott

An Inherently-Typed Formalization for Featherweight Java

Paper and talk

pySMT: A library for SMT formulae manipulation and solving

Python Exploration with Z3

Version controlled file system

The University of New Mexico's Haskell Image Processing Library

PGG the program generator generator for Scheme