neovim support for the Lean theorem prover

A hackable, minimal, fast TUI file explorer

Rime Latex 数学符号输入方案 | Typing LaTeX symbols everywhere.

🍃 Organic Maps is a free Android & iOS offline maps app for travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by MapsWithMe (MapsMe) fou…

An idiomatic, lean, fast & safe pure Rust implementation of Git

Cross platfrom window and framebuffer crate for Rust

Linear algebra library for Rust.

Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine

Safe interop between Rust and C++

A syntax-highlighting pager for git, diff, grep, and blame output

Build smaller, faster, and more secure desktop applications with a web frontend.

A Flash Player emulator written in Rust

interative assembly shell written in rust

Cross-platform Rust rewrite of the GNU coreutils

Sinatra like web toolkit for OCaml

Dozens of minimal operating systems to learn x86 system programming. Tested on Ubuntu 17.10 host in QEMU 2.10 and real hardware. Userland cheat at: https://github.com/cirosantilli/linux-kernel-modu…

Peer-to-peer VPN

async language server protocol plugin for vim and neovim

DEPRECATED - moved to servo/mozjs instead.

Bear is a tool that generates a compilation database for clang tooling.

A command-line hex viewer

The video editor built for screencasters

The LLVM LHC Haskell Optimization System

ClojureScript REPL into embedded JavaScriptCore

Run macOS on QEMU/KVM. With OpenCore + Monterey + Ventura + Sonoma support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.

Experimental, scalable, high performance HTTP server

the champagne of beta embedded databases

A React environment for cross platform desktop apps

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...