This is the repository for graph algorithm design.

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

Just another terminal user interface for managing hledger journal transactions

Magit for VSCode

A local MCP server for interacting with the HLedger cli

CriticMarkup editor with split-pane preview, suggestion mode, and comment creation

Auto-committing feature for your repository

A certified RISC-V Interpreter with Hoare-logic in Lean

Python libraries for DELPH-IN

Editor for wordnets, based on the Python wn module.

A unifying framework for linear temporal logics in Lean

The soundness proof for the presentation at WBL

An introduction to programming language theory in Agda

Documentation for the Boogie IVL and related technologies

Boogie

An intermediate verification language

This course covers fundamental concepts in syntactic analysis such as part of speech types, constituent structure, the syntax-semantics interface, and phenomena such as complementation, raising, co…

Self-contained Emacs.app builds for macOS, with native-compilation support.

Sigma Knowledge Engineering Environment

A Git-compatible VCS that is both simple and powerful

The property-based testing library for Python

Tactics for discharging Lean goals into SMT solvers.

Stanford NLP Python library for tokenization, sentence segmentation, NER, and parsing of many human languages

Lean Theorem Prover MCP