☆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 5 months ago
- Holochain bindings for Bucklescript.☆10Jan 2, 2019Updated 7 years 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- OCaml REST and WebSockets client for the Gemini Trading Exchange.☆20Dec 29, 2025Updated 9 months ago
- 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
- 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
- Use Programming by Navigation for bioinformatics, compiler scheduling, and more!☆17Oct 2, 2026Updated last week
- Complete, typesafe representation of Vega-Lite in OCaml☆10Nov 13, 2017Updated 8 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A meta-repository for the LooPy interactive program synthesizer☆18Mar 28, 2022Updated 4 years ago
- bindings for QT5 widgets☆10Mar 25, 2016Updated 10 years ago
- Golden tests with Hspec☆30Apr 10, 2026Updated 6 months ago
- Framework for Algorithmic Correctness Testing of Operators☆18Mar 9, 2026Updated 7 months ago
- Expands [%here] into its location☆13Jul 10, 2026Updated 3 months ago
- An expressive language for discrete probabilistic programming with lazy knowledge compilation☆18Jul 27, 2026Updated 2 months ago
- Bitcoin data-structures library for OCaml☆43Jun 3, 2020Updated 6 years ago
- Stride visualizations☆40Apr 12, 2018Updated 8 years ago
- A Top-Down Profiler for GPU Applications☆24Feb 29, 2024Updated 2 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.
- Hacks related to dissertation☆13Dec 24, 2019Updated 6 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
- 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
- LISP1.5 implemened on top of Gauche☆24Jan 6, 2026Updated 9 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
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Dynamic loader for OCaml☆14Dec 11, 2009Updated 16 years ago
- Generate functions to read/write records in csv format☆18Jul 10, 2026Updated 3 months ago
- 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
- (WIP) OCaml library for schedule, time, and time slots handling☆15Nov 10, 2020Updated 5 years ago
- OCaml Bindings to MLIR☆16Dec 11, 2020Updated 5 years ago
- Code for reproducing work of ICML 2019 paper: Memory-Optimal Direct Convolutions for Maximizing Classification Accuracy in Embedded Appli…☆12Jun 8, 2019Updated 7 years ago