Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.

Haskell project for functional programing course

an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM

RESTful Notes API built in Haskell — lightweight backend for managing notes.

An Emacs framework for the stubborn martian hacker

Agda proof of soundness of Hoare Logic for a simple toy language

A zero-knowledge Lean4 compiler and kernel

The user home repository for the Mathematics in Lean tutorial.

Awesome Typst Links

Modernity meets insane extensibility. The future of organizing your life in Neovim.

a truly censorship-resistant alternative to Twitter that has a chance of working

Source code for Algorithmic Trading with Python (2020) by Chris Conlan

one-click face swap

Functional Reactive Programming domain-specific language for efficient hybrid systems

A terminal interface for Conway's Game of Life

Transform your Org mode files into stunning HTML documents in minutes with our Org mode HTML theme. Elevate your productivity and impress your readers! #orgmode #html #theme #productivity #design

🍜 A tasty Haskell web framework

A strongly-typed language that compiles to JavaScript

Command line tool to access your kindle clippings