An extremely fast Python type checker and language server, written in Rust.

A tool for use with clang to analyze #includes in C and C++ source files

Minimal CLI coding agent by Mistral

Next generation Cosmic desktop environment

A mdbook backend powered by Pandoc.

Text editor for your terminal: easy, powerful and fast

Rust interface for SCIP

A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form

CaDiCaL SAT Solver

📰 Latex listing for planning formalisms

A cinematic Git commit replay tool for the terminal, turning your Git history into a living, animated story.

Typst-setting finite automata with CeTZ.

The project of translating wikiHow procedures to PDDL using language models.

ProbFD is an extension of the Fast Downward planning system tailored for fully-observable probabilistic planning.

Repository of Typst templates for Quarto

Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy

Open-source Rust based AI meeting assistant with 4x faster Parakeet/Whisper live transcription, speaker diarization, and Ollama summarization. 100% local processing. no cloud required. Meetily (Me…

DNS over HTTPS / DNS over Tor / DNSCrypt client, WireGuard proxifier, firewall, and connection tracker for Android.

Use your Neovim like using Cursor AI IDE!

lints and suggestions for the nix programming language

Improve keyboard comfort and usability with advanced customization

The INVAL plan validator, and other PDDL tools.

Handwritten LaTeX symbol classifier for the desktop

Performant, modular picker plugin for Neovim

Find dead Python code

Code for solving LP on GPU using first-order methods

🫐 SimpleDarkBlue - A simple and clear LaTeX Beamer theme

JambroBeamerTheme

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.