Stars
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
Copy playlists and liked music from Spotify to YTMusic
Open source C++ physics engine library in 3D
Industry-standard navigation-mesh toolset for games
2D and 3D physics engines focused on performance.
The Minimalistic x86/x64 API Hooking Library for Windows
Lightweight and modular C++11 graphics middleware for games and data visualization
Zstandard - Fast real-time compression algorithm
DuckDB is an analytical in-process SQL database management system
Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety anโฆ
Compiler for Elm, a functional language for reliable webapps.
Reliable & unreliable messages over UDP. Robust message fragmentation & reassembly. P2P networking / NAT traversal. Encryption.
Generates F# code from protobuf schema for binary and json format
One framework for creating powerful cross-platform games.
Fast and portable delta encoding for .NET in 100% safe, managed code.
Functional programming and other utilities from the original "fsharpx" project
native websocket with vuex integration
Full C# port of Brotli compression algorithm
A general F# SQL database erasing type provider, supporting LINQ queries, schema exploration, individuals, CRUD operations and much more besides.
StarCraft II Client - protocol definitions used to communicate with StarCraft II.
StarCraft II Client - C++ library supported on Windows, Linux and Mac designed for building scripted bots and research using the SC2API.
SQLiteC++ (SQLiteCpp) is a smart and easy to use C++ SQLite3 wrapper.
Parallel (multi-core) sequence operations
An installation and update framework for Windows desktop apps
Light-weight, simple and fast XML parser for C++ with XPath support
Mirror of https://gitlab.redox-os.org/redox-os/redox