A Neovim plugin that sets the cwd to the project root, stores projects in a history file, includes a telescope picker, supports fzf-lua, and provides UI tools

📦 Mac App Store command-line interface

Mimic smartparens-strict-mode in neovim - refuse to crete unbalanced delimeters.

An absolutely-not-solid Emacs implementation (WIP)

A fast type checker and language server for Python

A plugin for highlighting symbols in neovim

Package for compiling, running, debugging swift apps (Simulator, Device) in Emacs.

A menagerie of cute implementations of modern typechecking algorithms

Alternative algorithm for algebraic subtyping.

A next-generation C++ language server for modern C++, focused on high performance and deep code intelligence

A very fast linker for Linux

Type aware linting for oxlint

A minimal development of SSA theory

A Lean companion to Analysis I

There can be more than Notion and Miro. AFFiNE(pronounced [ə‘fain]) is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable an…

⚓ A collection of high-performance JavaScript tools.

🔥 Time Travel Visual Debugger for Rust

Cranelift based backend for rustc

An AV1 decoder in Rust.

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Rust runtime for TikZ diagrams

prompt library for rust

Multi-platform high-performance compute language extension for Rust.

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦

Rust bindings for Gtkwave's FST API

Tiny theorem prover with syntax like Lean 4 in <1K LOC

Eventually a practical 2-level TT-based compiler

A Coq library for Homotopy Type Theory

Language Server Protocol implementation written in Rust

A demo implementation of a simple dependently-typed language