Stars
Auto Grading system for logical exercises in Haskell
Natural language tactics to teach mathematics using Lean 4
Yubico Authenticator for Desktop (Windows, macOS and Linux) and Android
Turn your conference schedule into an interactive agenda.
Classification and deontic explosion for contrary-to-duty obligations
An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"
Finite Kripke-model checker for modal logic with configurable frame constraints and bottom-up evaluation.
Enable the web interface on boot. For the ReMarkable Tablet.
A Lean4 library to formalize and proof-check murder mysteries like Murdle, KnivesOut and Drishyam
A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.
Early experiments toward unifying version control and automated refactoring
Design, play with, and analyze sequent calculus proof systems.
A model checker for knowing-how logics
The Haskell Optimization Handbook
easysession.el: Easily persist and restore Emacs sessions (windows, tab-bar, file buffers, scratch, Dired, narrowing, indirect buffers/clones, Magit buffers, scratch...); a robust desktop.el replac…
An Emacs major mode to view the time at any city across the world
YunoHost is an operating system aiming to simplify as much as possible the administration of a server. This repository corresponds to the core code, written mostly in Python and Bash.