☆88Jun 6, 2025Updated last year
Alternatives and similar repositories for expecttest
Users that are interested in expecttest are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A workshop full of programs in various states of disrepair and in somes cases, distress☆10May 2, 2026Updated 4 months ago
- C++ "borrowing" smart pointer.☆10May 13, 2022Updated 4 years ago
- A client side load balancing library for ocaml☆18Aug 11, 2018Updated 8 years ago
- An OCaml binding for the openai-gym toolkit to develop and compare reinforcement learning algorithms.☆16Sep 17, 2025Updated last year
- OCaml REST and WebSockets client for the Gemini Trading Exchange.☆20Dec 29, 2025Updated 8 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- This repository hosts code that supports the testing infrastructure for the PyTorch organization. For example, this repo hosts the logic …☆113Updated this week
- HUD for CI activity on `pytorch/pytorch`, provides a top level view for jobs to easily discern regressions☆13Feb 26, 2022Updated 4 years ago
- Implementation of the Delta Language☆14Mar 18, 2024Updated 2 years ago
- Lean formalization of selected lemmas from "Term Rewriting and All That"☆18Apr 20, 2026Updated 5 months ago
- ☆16Mar 11, 2022Updated 4 years ago
- ☆30Dec 24, 2024Updated last year
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆15Jun 20, 2025Updated last year
- Batch processing using joblib including tqdm progress bars☆20Dec 29, 2021Updated 4 years ago
- ☆29Jan 17, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Analyze experimental data with Programming by Navigation☆17Updated this week
- Complete, typesafe representation of Vega-Lite in OCaml☆10Nov 13, 2017Updated 8 years ago
- A meta-repository for the LooPy interactive program synthesizer☆18Mar 28, 2022Updated 4 years ago
- A chorded keyboard for the ClockworkPi Gameshell☆11Oct 15, 2019Updated 6 years ago
- bindings for QT5 widgets☆10Mar 25, 2016Updated 10 years ago
- Golden tests with Hspec☆30Apr 10, 2026Updated 5 months ago
- Framework for Algorithmic Correctness Testing of Operators☆16Mar 9, 2026Updated 6 months ago
- Expands [%here] into its location☆13Jul 10, 2026Updated 2 months ago
- An expressive language for discrete probabilistic programming with lazy knowledge compilation☆17Jul 27, 2026Updated last month
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Bitcoin data-structures library for OCaml☆43Jun 3, 2020Updated 6 years ago
- Triton kernels for Flux☆23Jul 7, 2025Updated last year
- PyTorch RFCs (experimental)☆151Sep 2, 2026Updated 2 weeks ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Jun 7, 2026Updated 3 months ago
- Stride visualizations☆40Apr 12, 2018Updated 8 years ago
- Repurpose object literals.☆14Jun 20, 2019Updated 7 years ago
- Hacks related to dissertation☆13Dec 24, 2019Updated 6 years ago
- Syntaxes with Binding, Their Programs, and Proofs☆23Oct 26, 2023Updated 2 years ago
- Smallest usable Editor in less than 800 lines of C☆18Apr 15, 2017Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Deriving morphisms for OCaml data structures☆11Aug 28, 2019Updated 7 years ago
- A repository for material from the reading group on NbE☆17Oct 31, 2023Updated 2 years ago
- Common Lisp bytecode compiler☆18Updated this week
- LISP1.5 implemened on top of Gauche☆24Jan 6, 2026Updated 8 months ago
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated 2 years ago
- Adaptive sampling of parametric and implicit curves☆13Nov 12, 2021Updated 4 years ago
- Generator for docstrings☆19Feb 21, 2024Updated 2 years ago