Stars
A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.
FUSE implementation in Java using Java Native Runtime (JNR)
Python data access library for IMAS Data Model
Qwen3 is the large language model series developed by Qwen team, Alibaba Cloud.
An incremental parsing system for programming tools
A cloud native embedded storage engine built on object storage.
LazyFS: A FUSE Filesystem with an internal dedicated page cache, which can be used to simulate data loss on unsynced writes
Visual testing tool for MCP servers
TLA+ language support for Visual Studio Code
This extension enables developers to implement the MCP server features easily.
roastedroot / sqlite4j
Forked from xerial/sqlite-jdbcPure Java SQLite JDBC Driver
The official Java SDK for Model Context Protocol servers and clients. Maintained in collaboration with Spring AI
Documents and code artifacts teaching you how to build your own TLA⁺ tools.
Very fast, high-quality hash function, discrete-incremental and streamed hashing-capable (non-cryptographic, inline C/C++) 27GB/s + PRNG
Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
Multi-Scale Neural Audio Codec (SNAC) compresses audio into discrete codes at a low bitrate
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
A DAP-compatible JavaScript debugger. Used in VS Code, VS, + more
ZStandard Random Access (ZRA) allows random access inside an archive compressed using ZStandard
TexLive programs bundled into a single static binary for x86_64-linux / WASM