chelsea0x3b / synthesisView external linksLinks
A rust implementation of AlphaZero algorithm
☆53Feb 3, 2023Updated 3 years ago
Alternatives and similar repositories for synthesis
Users that are interested in synthesis are comparing it to the libraries listed below
Sorting:
- Mcts library written in rust, for rust.☆13Oct 8, 2023Updated 2 years ago
- LLaMa 7b with CUDA acceleration implemented in rust. Minimal GPU memory needed!☆111Jul 27, 2023Updated 2 years ago
- Generic, parallel Monte Carlo tree search library☆77Sep 7, 2022Updated 3 years ago
- ☆12Mar 26, 2024Updated last year
- Generic MCTS implementation☆12Feb 25, 2024Updated last year
- Open Source Program Office (OSPO)☆13Dec 30, 2025Updated last month
- ☆15Sep 8, 2022Updated 3 years ago
- Command-line tool to interact with Compiler Explorer☆33Dec 23, 2022Updated 3 years ago
- A design automation framework to engineer decision diagrams yourself☆25Feb 9, 2026Updated last week
- spark-sight: Spark performance at a glance☆10Apr 6, 2023Updated 2 years ago
- Minangkabau NLP corpus. PACLIC 2020☆10Jun 7, 2021Updated 4 years ago
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago
- The WebScheme compiler☆40Apr 29, 2025Updated 9 months ago
- Einstein summation for Rust☆40Apr 8, 2021Updated 4 years ago
- Automatic FFI and binding generation for Python <-> Rust interfacing☆37Aug 23, 2021Updated 4 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- A gym game for Contra that for reinforcement learning☆10Oct 18, 2021Updated 4 years ago
- A sampling-based heap memory profiler for WebAssembly on JavaScript engines.☆14Nov 25, 2025Updated 2 months ago
- Toolkit for the Haverford Educational RISC Architecture (HERA) assembly language☆10Sep 30, 2021Updated 4 years ago
- Library to maintain a forking queue of Cucumber processes☆16Oct 17, 2019Updated 6 years ago
- A Rust library to represent numbers as large as 10^^1e308 and as small as 10^-10^^1e308. Designed for incremental games.☆12May 20, 2024Updated last year
- OpenTitan FI formal verification framework☆16Aug 29, 2023Updated 2 years ago
- Scripts for Digital Design flow control.☆16Oct 30, 2025Updated 3 months ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- This is a school project for a fashion store management, we use Java Swing, Hibernate ORM , SQL Server☆12Dec 13, 2021Updated 4 years ago
- A Gitter client API in Python☆10Jul 6, 2017Updated 8 years ago
- Stripped Python images based on alpine variant of library's Python☆10Jan 20, 2022Updated 4 years ago
- Collection of iPython notebooks with some quick demos☆11May 25, 2017Updated 8 years ago
- REST API provider configuration for the Purest module☆11Jan 13, 2021Updated 5 years ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- ☆10Feb 9, 2024Updated 2 years ago
- 中国象棋开源AI整理, 包括ElephantEye, BitStronger, 撤蛋 夢入神蛋 MRSD2, mars☆38Sep 8, 2017Updated 8 years ago
- A small helper library for working with python file-like objects with rust.☆47Feb 8, 2026Updated last week
- A rust fork to work towards Enzyme integration☆92Jun 25, 2025Updated 7 months ago
- my DragonDogma 2 mods☆13Feb 22, 2025Updated 11 months ago
- Unikernel applications framework☆13Jun 1, 2025Updated 8 months ago
- Personal research and experimentation with audio☆13Dec 9, 2023Updated 2 years ago
- 将 flomo 的笔记导入 Heptabase☆12Aug 3, 2022Updated 3 years ago
- Repository for discussing/planning prebuilt binaries of CPython☆23Nov 18, 2025Updated 2 months ago