Dewdrop programming language written in TypeScript to get things done quickly

A higher‑kinded polymorphic type checker and experimental type system implementing System F‑Omega with traits, recursive types, variants, and kind inference.

Next-generation JavaScript analysis tooling

A minimalistic and user friendly POSIX initramfs generator, designed for encrypted systems

RISC-V prover system for ZKsync OS

A STARK prover and verifier for arbitrary computations

STARK-based virtual machine

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Truly independent web browser

Exception Handling for AssemblyScript

The only JSON library you'll need for AssemblyScript. SIMD enabled

Fixed Point Arithmetic for AssemblyScript

μWebSockets for Node.js back-ends 🤘

Implementation of Typed Binary Storage in AssemblyScript

A TypeScript-like language for WebAssembly.

The Jakt Programming Language

block game military grade radar

Based Minecraft utility mod.

A web extension that enhances your Schoology experience with numerous interface improvements