Agent learns to become the worlds top expert on SAT
☆168Mar 23, 2026Updated 2 weeks ago
Alternatives and similar repositories for agent-sat
Users that are interested in agent-sat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆36Feb 6, 2026Updated 2 months ago
- A repository of projects and datasets under active development by Alignment Lab AI☆22Dec 22, 2023Updated 2 years ago
- Hi, I'm Vanessa (vsoch, the Vanessasaurus) and this is where I write things.☆11Apr 2, 2026Updated last week
- Code repository for "Portal-Based Path Perturbation for Metropolis Light Transport"☆10Oct 26, 2020Updated 5 years ago
- Feature generation for adaptive gradient-domain path tracing☆10May 22, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- vibebin: code and host inside Incus containers on your own VPS/server.☆66Mar 20, 2026Updated 3 weeks ago
- 2020 Collegeville Workshop on Scientific Software - Developer Productivity☆12Mar 1, 2022Updated 4 years ago
- how to build a sentence embedding application using BentoML☆14Mar 31, 2025Updated last year
- Explains the conclusions of a logic program.☆10May 25, 2023Updated 2 years ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆81Mar 16, 2026Updated 3 weeks ago
- Open Source RenderMan☆15Jan 23, 2010Updated 16 years ago
- ☆12Feb 17, 2023Updated 3 years ago
- Damselfly Network Simulator☆10Nov 19, 2020Updated 5 years ago
- ☆10Apr 17, 2021Updated 4 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A new language for optimization☆13May 17, 2021Updated 4 years ago
- ☆10Jul 6, 2023Updated 2 years ago
- GLVis Jupyter Widget☆21Sep 19, 2025Updated 6 months ago
- This crate validates SPDX license expressions.☆22Jul 9, 2024Updated last year
- Documentation for the European Environment for Scientific Software Installations (EESSI)☆15Apr 2, 2026Updated last week
- Visual environment for manipulation the lambda calculus expressions☆74Mar 9, 2026Updated last month
- Fortran Library, Application, and Toolkit Packages☆16Dec 29, 2016Updated 9 years ago
- The Core Registry of Container Blueprints for the Autamus Build System☆15Mar 14, 2023Updated 3 years ago
- An Efficient Transport Estimator for Complex Layered Materials☆13May 28, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆11Jan 31, 2021Updated 5 years ago
- Merge git changes on commit at a time.☆16Nov 2, 2020Updated 5 years ago
- If you put the question to me and asked me to reduce my answer to a single sentence, I should say that anything which gratifies one's int…☆11Sep 15, 2022Updated 3 years ago
- Cray System Management☆11Updated this week
- A library for working with Python modules☆19Apr 23, 2018Updated 7 years ago
- Tool to detect and report leaked MPI objects like MPI_Requests and MPI_Datatypes☆14Sep 17, 2014Updated 11 years ago
- Demo that extends the FastUI example & adds database persistence☆16Jan 2, 2024Updated 2 years ago
- A smart search engine for module environments.☆13Jul 9, 2022Updated 3 years ago
- LLVM Kaleidoscope tutorial in Go, toy project.☆10May 24, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆13Mar 17, 2021Updated 5 years ago
- Phylogenetic Application written in OCaml and C☆19Jan 29, 2020Updated 6 years ago
- Skeletonide is a parallel implementation of Zhang-Suen morphological thinning algorithm written in Halide-lang. Use it for fast skeletoni…☆14Oct 21, 2020Updated 5 years ago
- ☆15Feb 28, 2019Updated 7 years ago
- ☆17May 31, 2017Updated 8 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