☆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:
- 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
- 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
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Swagger 2.0 code generator for OCaml☆42Oct 10, 2022Updated 3 years 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
- ☆29Jan 17, 2025Updated last year
- Analyze experimental data with Programming by Navigation☆17Updated this week
- 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 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Framework for Algorithmic Correctness Testing of Operators☆16Mar 9, 2026Updated 5 months ago
- Expands [%here] into its location☆13Jul 10, 2026Updated last month
- An expressive language for discrete probabilistic programming with lazy knowledge compilation☆17Jul 27, 2026Updated 2 weeks ago
- Bitcoin data-structures library for OCaml☆43Jun 3, 2020Updated 6 years ago
- Triton kernels for Flux☆23Jul 7, 2025Updated last year
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Jun 7, 2026Updated 2 months ago
- Stride visualizations☆39Apr 12, 2018Updated 8 years ago
- Repurpose object literals.☆14Jun 20, 2019Updated 7 years ago
- Syntaxes with Binding, Their Programs, and Proofs☆23Oct 26, 2023Updated 2 years ago
- 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.
- 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 6 years ago
- A repository for material from the reading group on NbE☆17Oct 31, 2023Updated 2 years 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
- Dynamic loader for OCaml☆14Dec 11, 2009Updated 16 years 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- (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
- Benchmark of common hash functions☆10Sep 15, 2019Updated 6 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
- Media processing pipeline proof of concept using bucklescript and serverless☆12May 16, 2018Updated 8 years ago
- ccNVMe: crash consistent non-volatile memory express☆14Aug 17, 2021Updated 4 years ago
- maze game encoded in Lean 4 syntax☆72Jul 2, 2025Updated last year