Empowering everyone to build reliable and efficient software.

A modern runtime for JavaScript and TypeScript.

A cross-platform, OpenGL terminal emulator.

🔮 ChatGPT Desktop Application (Mac, Windows and Linux)

A new type of shell

A smarter cd command. Supports all major shells.

A Python Interpreter written in Rust

⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

a Hassle-Free Python Experience

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

A next-gen functional language

Rust bindings for the V8 JavaScript engine

💎 Artichoke is a Ruby made with Rust

A statically typed language compatible with Python

Use Touch ID / Secure Enclave for SSH Authentication!

An experimental GPU compute-centric 2D renderer.

Crush is a command line shell that is also a powerful modern programming language.

Rust bindings for AppKit (macOS) and UIKit (iOS/tvOS). Experimental, but working!

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

A stack-based array programming language

📁 Generate pixel-perfect macOS folder icons in the native style.

A library for functional programming in Rust

Turn your keyboard into a typewriter! 📇

Clojure, implemented atop Rust (unofficial)

A language for building concurrent software with confidence

💡 CLI tool to input and store your ideas without leaving the terminal

Terminal Network scanner & diagnostic tool with modern TUI

An efficient, secure cryptocomputer

Air-gapped crypto wallet.

Rust bindings for Metal