Stars
Driver for the Aristotle (Harmonic) automated theorem proving API. Submits a textbook chapter by chapter to Aristotle, bundling the target Lean project as context.
An experimental library for metaprogramming with algebraic effects and handlers
Beginner's guide to Tactic Programming in Lean
Copies of prolog solvers for use from python
repository containing all versions of the Shinigami Eyes extension that were ever published to a browser store
A vibrant and contrast rich theme for emacs in both light and dark mode
Fast RISC-V-based scripting backend for game engines
Unmanaged arena memory allocators for C#/CSharp with easy interactions between managed and unmanaged references
Inkscape Slide creates .pdf slideshows based on Inkscape SVG layers
A personal project to help me retain information from books
Bluesky / AT Protocol vulnerability disclosures and exploit framework
imperfect programming language
Discover, test, and share APIs in seconds
Advanced interactive mode for the F* theorem prover
A small library to output memory graph for ocaml values
A fully open source & end-to-end encrypted note taking alternative to Evernote.