Use your Neovim like using Cursor AI IDE!

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

our vim dotfiles

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

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

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

Stacked diff support for GitHub workflows

Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ

The Frenetic Programming Language and Runtime System

A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.

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

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

The seL4 microkernel

Microkit - A simple operating system framework for the seL4 microkernel

The WebAssembly Pre-Initializer

wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of WebAssembly modules.

Coq plugin for extracting Rust code

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

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

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

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

A fast and secure runtime for WebAssembly

Formal Proof of Normalisation in System F

WebAssembly specification, reference interpreter, and test suite.

A python tool to automatically rename the pdf files of scientific publications by looking up the publication metadata on the web.

Blazing fast Neovim config providing solid defaults and a beautiful UI, enhancing your neovim experience.

💤 A modern plugin manager for Neovim

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

Official Code for DragGAN (SIGGRAPH 2023)