Stars
An API standard for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly Gym)
DL course co-developed by YSDA, HSE and Skoltech
A course in reinforcement learning in the wild
A collection of formalized statements of conjectures in Lean.
The official repository of Mozilla's Firefox web browser.
Solutions of Reinforcement Learning, An Introduction
Neqo, the Mozilla Firefox implementation of QUIC in Rust
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
Lean theorem proving interface which feels like pen-and-paper proofs.
🎮 Advanced Deep Learning and Reinforcement Learning at UCL & DeepMind | YouTube videos 👉
An implementation of Messaging Layer Security (RFC 9420)
Rust implementation of the Messaging Layer Security (MLS) protocol
Retrieve author and publication information from Google Scholar in a friendly, Pythonic way without having to worry about CAPTCHAs!
Front-end skills aren't needed anymore to create a web application. Use the Cursor IDE, it'll write the code for you. ⬇️⬇️⬇️ Scroll down to see the guide 👇👇👇
libcurl 8 + OpenSSL 3 compiled for WebAssembly/WASI (compatible with WAMR libsocket extension)
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
The DNS server with routing by name concept based on Wireguard
🍃 Organic Maps is a free Android & iOS offline maps app for travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by the community. No ads, …
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
The must-have extension for a mouse-free Firefox experience
Some example scripts for building a parallel compression/decompression tool for WebAssembly
Lightning-fast and Powerful Code Editor written in Rust