A local-first LaTeX & Typst web editor with real-time collaboration & offline support

Model Context Protocol (MCP) server for constraint optimization and solving"

A system for computing with Tarski Formulas / Semi-Algebraic Sets.

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

A computer algebra system written in pure Python

pySMT: A library for SMT formulae manipulation and solving

Complexity Analysis Tool for Integer Programs

🧶 Automatically save your changes in NeoVim

Voice command set for Talon, community-supported.

🤖💤 High-contrast, Futuristic & Vibrant Neovim Colorscheme

vividchalk.vim: a colorscheme strangely reminiscent of Vibrant Ink for a certain OS X editor

Manthan for Boolean function synthesis

commentary.vim: comment stuff out

fugitive.vim: A Git wrapper so awesome, it should be illegal

🪻 A soft and sweet colorscheme for Neovim & more

Create Neovim themes with real-time feedback, export anywhere.

A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)

Check syntax in Vim/Neovim asynchronously and fix files, with Language Server Protocol (LSP) support

Finite model finder

A dark midnight theme for modern Neovim & classic Vim

Vim-fork focused on extensibility and usability

A toolkit for SAT-based prototyping in Python