A decoder for the crossfire protocol.

A tool for extracting unique Skolem (and Herbrand) functions of Quantified Boolean Formulas using propositional interpolation.

CAQE is a solver for quantified Boolean formulas

Tmux Plugin Manager

Native PC gaming with Steam, Epic, GOG and Amazon integrations on Android

A lightweight Wayland notification daemon

Replace zsh's default completion selection menu with fzf!

🎓 All things Vim!

Blazingly Fast Skolem function Synthesis

A user friendly TUI for SQL databases. Written in python. Supports SQL server, Mysql, PostreSQL, SQLite, Turso and more.

Break bad habits, master Vim motions

Neovim's answer to the mouse 🦘

State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques

Touchpad sidecar mod for the Glove80 keyboard

No Nonsense Neovim Client in Rust

simple terminal UI for git commands

Compiler testing using control flow graph fleshing

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Performance and security acceleration for zkVMs.

Fast in-place radix sort with STL-like API

static symmetry breaking for SAT

Most Beautiful Typing practice plugin for Neovim with dashboard

A massively spiffy yet delicately unobtrusive compression library.

Improved UI and workflow for the Neovim quickfix

Better quickfix window in Neovim, polish old quickfix window.

VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.

Tools for better development in rust using neovim's builtin lsp

Generate compile_commands.json for any C or C++ build

🌸 A command-line fuzzy finder