property testing and verification front-end for Rust

🧮 Programming with pure lambda calculus

tic-tac-toe in a single call to printf

ipapy is a Python module to work with International Phonetic Alphabet (IPA) strings

Run your GitHub Actions locally 🚀

Allows you to save & restore kitty sessions, with all kitty OS windows, kitty tabs & kitty windows restored.

Coq code formatter

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq

Neovim client for coq-lsp

A plugin for Vim to color different parts of code making the use of Text Properties

Nix functions for filtering local git sources

A Latex template for formatting the Yale GSAS dissertation

Universal Ctags optlib parser for Coq

The Uncompromising Nix Code Formatter

Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.

Markdown editor with bidirectional links and excellent math support, powered by ProseMirror. (In Development!)

A formatter/linter for Coq source

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

A keyboard-driven, vim-like browser based on Python and Qt.

A collection of themes for kitty terminal 😻

Free monospaced font with programming ligatures

Coq library for serialization to S-expressions

Educational blog posts for Rust beginners

Library to create Coq record update functions

Coq Protocol Playground with Se(xp)rialization of Internal Structures.