Converts JavaScript to TypeScript and TypeScript to better TypeScript. 🧫

💧 A server-side Swift HTTP web framework.

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

Cranelift based backend for rustc

A monospaced programming font inspired by the Minecraft typeface

The next generation web framework for Cloudflare Workers

Video stabilization using gyroscope data

Private front-end for Reddit

Typed distributed plugin registration

Group commits by issue into GitHub PRs

RcLite: small, fast, and memory-friendly reference counting for Rust

Refinement Types for Rust

A simple, high-throughput file client for mounting an Amazon S3 bucket as a local file system.

NES Super Mario Bros level 1 written in pure sed!

Hunt down social media accounts by username across social networks

Melody is a language that compiles to regular expressions and aims to be more readable and maintainable

An infrastructure-as-code and deployment tool for Roblox.

peer-2-peer that just works

A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already know.

🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system

Rust bindings for the Roblox standard library.

WebAssembly to Lua translation library and tool

Translations of a simple C program to Rust.

Fast, collaborative live terminal sharing over the web

😎 A curated list of add-ons that extend/enhance the git CLI.

IDE style command line auto complete

A visualization library for Rust

🌀 A log file highlighter

Lightning-fast and Powerful Code Editor written in Rust