Stars
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.