๐ Inference programming language
โ23Jul 20, 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โ17May 20, 2026Updated 2 months 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 6 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.
- MessagePack for OCaml/Coqโ15Feb 24, 2013Updated 13 years ago
- Yu-Gi-Oh! Card Search Discord Botโ10Aug 13, 2023Updated 2 years ago
- Verification Framework for Actor Systems on Coqโ29Jul 2, 2018Updated 8 years ago
- Program that translates OCaml into C languageโ39Apr 3, 2015Updated 11 years ago
- Formalization of the basic actuarial mathematics using Coqโ23Dec 11, 2024Updated last year
- AppData is a Python library to access app data paths based on the operating system the app is running on.โ13Dec 26, 2023Updated 2 years ago
- Benchmark for hypervisor/sandboxing overheadโ12Dec 23, 2024Updated last year
- Example use of GitHub Actions with OCamlโ35Jun 22, 2026Updated 3 weeks ago
- โ17Nov 4, 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.
- A nushell plugin to work with semver versionsโ14Jul 13, 2026Updated last week
- department of turtlesโ20Apr 13, 2026Updated 3 months ago
- An async C# library for interacting with the v2 AbuseIPDB API.โ10Nov 25, 2023Updated 2 years ago
- mizumochi is a tool to simulate unstable disk I/O for testing stability/robustness of system.โ36Oct 28, 2020Updated 5 years ago
- OCamlOScope 2 : OCaml API searchโ43Oct 12, 2017Updated 8 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.โ17Apr 14, 2026Updated 3 months ago
- Benchmarks for comparing the speed of stdout vs stderr & code snippets for my blog post.โ15Dec 4, 2024Updated last year
- Total Parser Combinators in Coq [maintainer=@womeier]โ51Updated this week
- Python docker image with Poetry pre-installedโ12Jul 14, 2026Updated last week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits โข AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- LearnFree - The Open-Source Free Learning Portal for Everyoneโ13Feb 23, 2022Updated 4 years ago
- โ17Jul 25, 2023Updated 2 years ago
- 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 9 months ago
- Companion Minecraft Plugin and Mod for the MC Linker Discord Botโ13Jun 28, 2026Updated 3 weeks ago
- [WIP] Faster Implementation of Dialyzerโ56Apr 4, 2024Updated 2 years ago
- Youtube downloader front end package for YunoHostโ16Oct 31, 2023Updated 2 years ago
- An aid for developing correct WebAssembly implementations through generative fuzzingโ15Aug 30, 2022Updated 3 years ago
- Pulls from https://github.com/DJScias/Discord-Datamining/ and outputs to multiple channelsโ13Sep 5, 2019Updated 6 years ago
- Building Pocket-Sized Terminal UIs with Rust (workshop)โ15Oct 8, 2025Updated 9 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.
- Soroban Governor is a library implementing the popular Governor DAO governance framework for Soroban.โ17Jul 9, 2024Updated 2 years ago
- A Discord bot designed to build better communities by encouraging a positive and constructive relationship between community and staff.โ14Jul 13, 2026Updated last week
- Visualize Graphs as Images with one Function Callโ16Dec 11, 2025Updated 7 months ago
- A declarative and ergonomic internationalization for Rust using Fluent. Mirror of https://gitlab.archlinux.org/orhun/fluent-i18nโ18Sep 29, 2025Updated 9 months ago
- Windows registry editor written with Qt, based on chntpw code.โ17Apr 28, 2023Updated 3 years ago
- โ10Mar 31, 2016Updated 10 years ago
- A course on formal verification at https://compsciclub.ru/en, Spring term 2021โ59Feb 28, 2023Updated 3 years ago