Towards Formalizing RL Theory
☆47Feb 27, 2026Updated last week
Alternatives and similar repositories for rl-theory-in-lean
Users that are interested in rl-theory-in-lean are comparing it to the libraries listed below
Sorting:
- ☆29Mar 1, 2026Updated last week
- Process Orchestration Framework: A camunda 7 fork☆21Mar 2, 2026Updated last week
- Docker containers of baseline agents for the Crafter environment☆30Dec 14, 2021Updated 4 years ago
- ☆23Dec 30, 2025Updated 2 months ago
- The official starter-kit for NeurIPS 2025 mind games competition☆21Jul 27, 2025Updated 7 months ago
- Partially Observable Multi-Agent RL with Transformers☆17Feb 13, 2026Updated 3 weeks ago
- FeynGraph - a modern Feynman diagram generator☆17Dec 12, 2025Updated 2 months ago
- https://icml.cc/virtual/2023/poster/24354☆10Aug 15, 2023Updated 2 years ago
- Differential CPU fuzzing framework from the paper "RISCover: Automatic Discovery of User-exploitable Architectural Security Vulnerabiliti…☆23Mar 1, 2026Updated last week
- Open Source Hardware 470KHz Induction Soldering Iron☆14Jul 22, 2025Updated 7 months ago
- ☆15Jul 27, 2023Updated 2 years ago
- About The dataset was recorded on the Husky robotics platform on the university campus and consists of 5 tracks recorded at different tim…☆11Mar 25, 2025Updated 11 months ago
- A Grand Sumo prediction game☆10Updated this week
- Encode and decode ASN.1 with Distinguished Encoding Rules (DER)☆11Sep 19, 2024Updated last year
- Ocamlgraph overlay for llvm☆20Apr 4, 2015Updated 10 years ago
- An implementation of DreamerV2 written in JAX, with support for running multiple random seeds of an experiment on a single GPU.☆18Jan 16, 2023Updated 3 years ago
- Easily make & receive Bitcoin and Lightning Network payments on the web using your Casa Node.☆12Jan 5, 2021Updated 5 years ago
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- A minimalist deep research framework for any OpenAI API compatible LLMs.☆14Nov 3, 2025Updated 4 months ago
- An open-source tool for data analysis aimed to help researchers with their experiments.☆14Nov 14, 2023Updated 2 years ago
- Repository for the paper "T5APR: Empowering Automated Program Repair across Languages through Checkpoint Ensemble."☆11Oct 23, 2025Updated 4 months ago
- [COLING25] CodeJudge Eval: Can Large Language Models be Good Judges in Code Understanding?☆12Dec 3, 2024Updated last year
- ☆10Sep 8, 2023Updated 2 years ago
- SysMD is a SysML v2/KerML tool. It offers a little entry hurdle by its Notebook-like UI. Unique to SysMD is its integrated solver that do…☆33Dec 11, 2025Updated 2 months ago
- ☆11Jan 19, 2025Updated last year
- Rust driver for the BM13xx Bitcoin Mining Asic family.☆16Oct 17, 2025Updated 4 months ago
- ☆12Oct 5, 2020Updated 5 years ago
- ☆22Oct 30, 2024Updated last year
- ☆10Jul 9, 2020Updated 5 years ago
- Automatic Parallelism Using LLVM☆10Aug 2, 2014Updated 11 years ago
- ☆12Apr 22, 2023Updated 2 years ago
- A collection of very basic allocators. Written with WebAssembly in mind.☆14Jan 12, 2024Updated 2 years ago
- Python bindings for coreir☆11Sep 13, 2023Updated 2 years ago
- Build your own AI-powered automation tools in the terminal with this extensible agent framework☆24Jan 5, 2026Updated 2 months ago
- Code for PuzzleJAX, a benchmark for reasoning and learning, that reimplements PuzzleScript, a concise and expressive DSL and game engine …☆25Updated this week
- Experiment utility code, specifically designed for use with Compute Canada.☆11Jan 27, 2025Updated last year
- A tool for cross-checking Verilog compilers☆14Apr 16, 2025Updated 10 months ago
- Code for "The Whole Truth and Nothing But the Truth: Faithful and Controllable Dialogue Response Generation with Dataflow Transduction an…☆11Apr 30, 2024Updated last year