Eclipse SUMO is an open source, highly portable, microscopic and continuous traffic simulation package designed to handle large networks. It allows for intermodal simulation including pedestrians a…

an experimental new programming language based on interaction nets

Java agent framework for Project Zomboid that enables runtime bytecode patching using ByteBuddy. Annotation-based API for modding game classes without source code access.

An advanced, modern networking library for Luau/Roblox

tbls is a CI-Friendly tool to document a database, written in Go.

Specification for interoperability of common algebraic structures in JavaScript

Concurrency permutation testing tool for Rust.

project zomboid mod to fix the water barrels

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

A verification toolchain for Rust programs

RFCs for Luau evolution

A Node.js API wrapper for Roblox.

Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need

An IDL compiler written in Luau for ROBLOX buffer networking

A lossless Lua 5.1 parser

A blazing-fast modern Lua linter written in Rust

Language Server Implementation for Luau

An embeddable dynamic programming language for Rust.

Verified Rust for low-level systems code

Spec-driven development (SDD) for AI coding assistants.

EmmyLua type stubs for Project Zomboid's modding API

Rust 2D drawing abstraction

A cross-platform, safe, pure-Rust graphics API.

Make your JSON data collaborative and version-controlled with CRDTs

SigNoz is an open-source, OpenTelemetry-native observability platform for your team and their AI agents. Get logs, metrics, and traces in one tool with features like APM, distributed tracing, log m…

A Git-compatible VCS that is both simple and powerful

Incremental garbage collection from safe Rust

High-performance React Native Graphics using Skia

Effortlessly enable edge-to-edge display in React Native (formerly known as react-native-bars).