๐ Inference programming language
โ25Oct 9, 2026Updated this week
Alternatives and similar repositories for inference
Users that are interested in inference are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ๐ Inference programming language specificationโ17Sep 11, 2026Updated 3 weeks ago
- Programs for checking the ฯ propertyโ17Feb 28, 2021Updated 5 years ago
- OCaml bindings to libsshโ14Jan 3, 2016Updated 10 years ago
- ใฌใชใฐๅ ็ 2018ๅนดๅบฆๅพๆใปๆฐ็่งฃๆใป่จ็ฎๆฉๆฐๅญฆ II (ๅ ๆฆ่ซII)โ13Feb 27, 2019Updated 7 years ago
- [WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.โ16Aug 27, 2019Updated 7 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.
- Custom OPAM repository for SATySFi libraries managed by Satyrographosโ19Apr 29, 2026Updated 5 months ago
- Trustless Work provides permissionles escrow infrastructure. By using Trustless Work, any platform can integrate escrows in their user flโฆโ25Sep 29, 2026Updated last week
- MessagePack for OCaml/Coqโ15Feb 24, 2013Updated 13 years ago
- Verification Framework for Actor Systems on Coqโ30Jul 2, 2018Updated 8 years ago
- Formalization of the basic actuarial mathematics using Coqโ23Dec 11, 2024Updated last year
- Benchmark for hypervisor/sandboxing overheadโ12Dec 23, 2024Updated last year
- Example use of GitHub Actions with OCamlโ35Jun 22, 2026Updated 3 months ago
- A nushell plugin to work with semver versionsโ14Jul 13, 2026Updated 2 months ago
- mizumochi is a tool to simulate unstable disk I/O for testing stability/robustness of system.โ37Oct 28, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer โข AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- OCamlOScope 2 : OCaml API searchโ43Oct 12, 2017Updated 8 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.โ20Sep 11, 2026Updated 3 weeks ago
- Tooters: A Rust TUI-based Mastodon Appโ17Mar 5, 2025Updated last year
- Total Parser Combinators in Coq [maintainer=@womeier]โ51Aug 22, 2026Updated last month
- RustBuy is a simple command-line interface (CLI) e-commerce application built in Rust, designed specifically to help you understand and pโฆโ20Sep 26, 2025Updated last year
- An aid for developing correct WebAssembly implementations through generative fuzzingโ15Aug 30, 2022Updated 4 years ago
- [WIP] Faster Implementation of Dialyzerโ56Apr 4, 2024Updated 2 years ago
- Multiparty Session Types in OCamlโ61Nov 1, 2024Updated last year
- Troglobit Toolbox -- Misc. home brewed code, free to use under GPL/MIT/ISC, see each snippet for license.โ10May 18, 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.
- Visualize Graphs as Images with one Function Callโ18Dec 11, 2025Updated 9 months ago
- โ10Mar 31, 2016Updated 10 years ago
- A malware scanner with Yara and ClamAV bindingโ12May 23, 2026Updated 4 months ago
- Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicityโ22Feb 26, 2026Updated 7 months ago
- Osint tool to recover authors and emails on GitHubโ15Jul 2, 2025Updated last year
- Syntax highlighting for Ogre Scripts in VSCodeโ13Sep 11, 2026Updated 3 weeks ago
- Static Analysis Results Interchange Format (SARIF) For OCamlโ14Apr 22, 2026Updated 5 months ago
- egg is a flexible, high-performance e-graph libraryโ13Apr 5, 2024Updated 2 years ago
- Personal workstation config for Spectrum/Bluefin, NixOS, and macOS, with shared chezmoi dotfiles.โ19Updated this week
- 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.
- Random TCP Port Reserverโ10Apr 1, 2024Updated 2 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.โ12May 1, 2024Updated 2 years ago
- โ26Jun 1, 2026Updated 4 months ago
- Library for solving packages and reading repositories (superseded by libsolv)โ11Oct 10, 2019Updated 6 years ago
- โ11Sep 16, 2026Updated 3 weeks ago
- EraVM specification.โ18Jun 18, 2026Updated 3 months ago
- Rust mgโ10Sep 19, 2019Updated 7 years ago