rn7s2
Follow
Stars
This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
A toolkit for building distributed applications
Create beautiful diagrams just by typing notation in plain text.
Free and open-source map hosting solution with custom styles for websites and apps, using OpenStreetMap data
This rust compiler backend(module) emmits valid CIL (.NET IR), enabling you to use Rust in .NET projects.
Lean 4 programming language and theorem prover
Zulip server and web application. Open-source team chat that helps teams stay productive and focused.
Instant messaging platform. Backend in Go. Clients: Swift iOS, Java Android, JS webapp, scriptable command line; chatbots
Highly performant and modular controls for node-based editors designed for data-binding and MVVM.
GlueSQL is quite sticky. It attaches to anywhere.
Plotlars is a Rust library designed to facilitate the integration between the Polars data analysis library and Plotly library.
Stable Diffusion ComfyUI Docker/OCI Image for Intel Arc GPUs
A simple, easy to use PowerShell script to remove pre-installed apps from Windows, disable telemetry, remove Bing from Windows search as well as perform various other changes to declutter and impro…
猫抓 浏览器资源嗅探扩展 / cat-catch Browser Resource Sniffing Extension
Rhai - An embedded scripting language for Rust.
This is a research prototype of the Dryad and DryadLINQ data-parallel processing frameworks running on Hadoop YARN.
Official repository of "CORE4D: A 4D Human-Object-Human Interaction Dataset for Collaborative Object REarrangement".
Run .NET and Node.js code in-process on Windows, macOS, and Linux