☆89Jun 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 2 months ago
- Holochain bindings for Bucklescript.☆10Jan 2, 2019Updated 7 years ago
- A client side load balancing library for ocaml☆18Aug 11, 2018Updated 7 years ago
- An OCaml binding for the openai-gym toolkit to develop and compare reinforcement learning algorithms.☆16Sep 17, 2025Updated 10 months ago
- OCaml REST and WebSockets client for the Gemini Trading Exchange.☆20Dec 29, 2025Updated 6 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Platform for monitoring the four key software delivery metrics of software delivery☆11Mar 3, 2025Updated last year
- This repository hosts code that supports the testing infrastructure for the PyTorch organization. For example, this repo hosts the logic …☆110Updated 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☆13Mar 18, 2024Updated 2 years ago
- Lean formalization of selected lemmas from "Term Rewriting and All That"☆18Apr 20, 2026Updated 3 months ago
- Swagger 2.0 code generator for OCaml☆42Oct 10, 2022Updated 3 years ago
- ☆16Mar 11, 2022Updated 4 years ago
- ☆29Dec 24, 2024Updated last year
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆14Jun 20, 2025Updated last year
- 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.
- Batch processing using joblib including tqdm progress bars☆20Dec 29, 2021Updated 4 years ago
- Official code for "Algorithmic Capabilities of Random Transformers" (NeurIPS 2024)☆15Sep 28, 2024Updated last year
- Analyze experimental data with Programming by Navigation☆17Jul 9, 2026Updated last week
- bindings for QT5 widgets☆10Mar 25, 2016Updated 10 years ago
- Golden tests with Hspec☆30Apr 10, 2026Updated 3 months ago
- Framework for Algorithmic Correctness Testing of Operators☆16Mar 9, 2026Updated 4 months ago
- Bitcoin data-structures library for OCaml☆43Jun 3, 2020Updated 6 years ago
- Triton kernels for Flux☆23Jul 7, 2025Updated last year
- PyTorch RFCs (experimental)☆148Jul 14, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Jun 7, 2026Updated last month
- A Top-Down Profiler for GPU Applications☆23Feb 29, 2024Updated 2 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
- Egraphs Modulo Theories☆20Jun 10, 2025Updated last year
- Smallest usable Editor in less than 800 lines of C☆18Apr 15, 2017Updated 9 years ago
- A repository for material from the reading group on NbE☆17Oct 31, 2023Updated 2 years ago
- Common Lisp bytecode compiler☆18Jun 3, 2026Updated last month
- 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.
- LISP1.5 implemened on top of Gauche☆24Jan 6, 2026Updated 6 months ago
- Adaptive sampling of parametric and implicit curves☆13Nov 12, 2021Updated 4 years ago
- Generator for docstrings☆19Feb 21, 2024Updated 2 years ago
- Dynamic loader for OCaml☆14Dec 11, 2009Updated 16 years ago
- Generate functions to read/write records in csv format☆18Jul 10, 2026Updated last week
- An absurdly tiny Lisp interpreter in OCaml☆32Dec 11, 2011Updated 14 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Dec 21, 2022Updated 3 years ago