Compile-time capability-based security for Rust

Zayit is a free app to read, search, and explore Jewish study texts. Built for study: fast search, smooth navigation, clean citations. For review, preparing a lesson, or studying with a partner.

A ratatui backend that is also an egui widget. Deploy on web with WASM or ship natively with bevy, macroquad, or eframe

A wgpu based rendering backend for ratatui.

Basic Vue 3 SFC Language Pack for Fresh Editor – syntect-safe syntax highlighting + Volar LSP

Write like a high-level language, run like C.

The Hazy Haskell Compiler

Java language server

Terminal based IDE & text editor: easy, powerful and fast

High level bindings to the quickjs javascript engine

Build terminal-themed web applications with Rust and WebAssembly. Powered by Ratatui.

Reparent a running program to a new terminal

Public repository of the Micro QuickJS Javascript Engine

IsoCity: City building simulation game.

Truly independent web browser

Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.

The de facto GitHub star history graph.

A unified interface for AI in your terminal.

A lightweight text editor written in Lua

📝 CodeEdit App for macOS – Elevate your code editing experience. Open source, free forever.

⚓ A collection of high-performance JavaScript tools.

Chat with your data - with memory, rules, and observability built in. Deploy in 2 minutes

Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3

📝 A .docx file writer with Rust/WebAssembly.

Rust library for syntax highlighting using Sublime Text syntax definitions.

Prepare Rust projects to be released on the Arch Linux User Repository.

Public repository of the QuickJS Javascript Engine.

Cargo helper command to generate a binary RPM package

Make Debian packages directly from Rust/Cargo projects