Fully featured & enhanced replacement for copilot.vim complete with API for interacting with Github Copilot

💤 A modern plugin manager for Neovim

Formal Proof of Normalisation in System F

VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification levels; part of CertiCoq project

💨 Fast, Async-ready, Openapi, type hints based framework for building APIs

A proof-of-concept microkernel that runs WebAssembly natively.

Microkit - A simple operating system framework for the seL4 microkernel

The seL4 microkernel

A playbook for systematically maximizing the performance of deep learning models.

Penpot: The open-source design tool for design and code collaboration

The Frenetic Programming Language and Runtime System

Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ

Stacked diff support for GitHub workflows

Creusot helps you prove your code is correct in an automated fashion.

A static verifier for Rust, based on the Viper verification infrastructure.

A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

our vim dotfiles

LTeX Language Server: LSP language server for LanguageTool 🔍✔️ with support for LaTeX 🎓, Markdown 📝, and others

Use your Neovim like using Cursor AI IDE!

VSCode extension that is designed to help automate writing of Coq proofs.