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

Bear is a tool that generates a compilation database for clang tooling.

🌸 A command-line fuzzy finder

a structural diff that understands syntax 🟥🟩

Count and Sample on Bit-vectors.

CNF generator for the 128 bit AES

Indent guides for Neovim

CPP Project with Google test submodule and Github Actions

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

mlpack: a fast, header-only C++ machine learning library

A probabilistic approximate DNF counter

contraction-recursive algorithm for treewidth

A fast and certifying solver for quantified Boolean formulas.