Agent learns to become the worlds top expert on SAT
☆151Mar 17, 2026Updated this week
Alternatives and similar repositories for agent-sat
Users that are interested in agent-sat are comparing it to the libraries listed below
Sorting:
- An x86-64 instruction decoder.☆16Mar 11, 2024Updated 2 years ago
- Hoare's CSP examples implemented with Clojure core.async☆63Oct 1, 2013Updated 12 years ago
- ☆18Jul 2, 2024Updated last year
- A repository of projects and datasets under active development by Alignment Lab AI☆22Dec 22, 2023Updated 2 years ago
- A Ruby library for live-coding music with Alda.☆13Oct 1, 2024Updated last year
- vibebin: code and host inside Incus containers on your own VPS/server.☆60Updated this week
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Mar 20, 2024Updated 2 years ago
- a ~1200 Elo chess engine that fits within 2KB☆180Feb 15, 2026Updated last month
- A multithreaded discrete event simulation library in C, using POSIX pthreads for parallelized replications and stackful asymmetric corout…☆65Mar 1, 2026Updated 2 weeks ago
- Create, Read, Update, Delete. Done!☆20Aug 26, 2016Updated 9 years ago
- An awesome typewriter built in Om, React using figwheel.☆17Jun 18, 2025Updated 9 months ago
- The Coil Programming Language☆33Mar 19, 2024Updated 2 years ago
- ☆12Feb 25, 2025Updated last year
- Tiny Parser in C++☆12Jan 29, 2024Updated 2 years ago
- libc and tools for creating size-optimized, statically linked Linux i386 and i686 programs☆25Feb 26, 2026Updated 3 weeks ago
- ☆12Feb 17, 2023Updated 3 years ago
- Reversible programming language☆12Dec 7, 2019Updated 6 years ago
- ☆14Nov 7, 2022Updated 3 years ago
- fast combinations calculation in jax☆39Jul 12, 2024Updated last year
- A new language for optimization☆13May 17, 2021Updated 4 years ago
- ☆10Jul 6, 2023Updated 2 years ago
- Visual environment for manipulation the lambda calculus expressions☆71Mar 9, 2026Updated last week
- 6502 emulator in pure Lua with test coverage☆27Apr 9, 2025Updated 11 months ago
- The Amsterdam Compiler Kit☆27Mar 30, 2025Updated 11 months ago
- ☆13Mar 17, 2021Updated 5 years ago
- Phylogenetic Application written in OCaml and C☆19Jan 29, 2020Updated 6 years ago
- A collection of Data Science focused notebook engines☆11Jul 28, 2021Updated 4 years ago
- Neural Network approaches for the Traveling Salesman Problem☆10Apr 20, 2021Updated 4 years ago
- Source code for "Gradient-domain Photon Density Estimation", Eurographics 2017☆15Apr 24, 2023Updated 2 years ago
- Source code release for Temporal Gradient-Domain Path Tracing [Manzi and Kettunen et al. 2016]☆15Mar 1, 2019Updated 7 years ago
- SeamAPI for Javascript/Typescript, interface. https://getseam.com☆11Jul 18, 2024Updated last year
- Visualize your everysinglestreet challenge☆10Mar 1, 2026Updated 2 weeks ago
- Playground for running Python using WASM on data in the browser☆16Jul 28, 2022Updated 3 years ago
- ☆15Sep 27, 2023Updated 2 years ago
- Open-source Human Feedback Library☆11Oct 25, 2023Updated 2 years ago
- ☆11Jun 13, 2025Updated 9 months ago
- SoftWire lets you create new functions at run-time using functions and constructs which closely resemble x86 syntax, entirely within C++.…☆37Aug 25, 2014Updated 11 years ago
- ☆18Oct 21, 2025Updated 5 months ago
- Organization documentation for RCOS☆17Jan 13, 2026Updated 2 months ago