๐ Inference programming language
โ24Aug 29, 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:
- 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
- Custom OPAM repository for SATySFi libraries managed by Satyrographosโ19Apr 29, 2026Updated 4 months ago
- A Tian Jiu Pai (ๅคฉไน็) game server written in Sesterl & Elmโ16Oct 8, 2023Updated 2 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.
- A simple Ascii art generator. A toy project to help me learn Scala. Pretty much a port to Scala of this: http://www.bestinclass.dk/index.โฆโ21Mar 10, 2013Updated 13 years ago
- Procedural macro to add arbitrary data when serializing using serdeโ27Aug 10, 2026Updated 3 weeks ago
- Verification Framework for Actor Systems on Coqโ29Jul 2, 2018Updated 8 years ago
- Formalization of the basic actuarial mathematics using Coqโ23Dec 11, 2024Updated last year
- Example use of GitHub Actions with OCamlโ35Jun 22, 2026Updated 2 months ago
- Solidity ANTLR4 grammar Python parserโ13Mar 11, 2025Updated last year
- Open source F# mathematical logic library.โ14May 16, 2022Updated 4 years ago
- An async C# library for interacting with the v2 AbuseIPDB API.โ10Nov 25, 2023Updated 2 years ago
- A URL shortening and expanding cli tool.โ11Aug 31, 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.
- mizumochi is a tool to simulate unstable disk I/O for testing stability/robustness of system.โ37Oct 28, 2020Updated 5 years ago
- OCamlOScope 2 : OCaml API searchโ43Oct 12, 2017Updated 8 years ago
- Splatnet/Music Botโ10Feb 9, 2025Updated last year
- Automatically remove user join messages when the user leaves the server.โ12Jan 9, 2022Updated 4 years ago
- asyncio-based GitHub API clientโ16Apr 18, 2023Updated 3 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.โ20Apr 14, 2026Updated 4 months ago
- Simple EVM implementation in [no_std] Rust to be used in Powdr.โ16Aug 24, 2023Updated 3 years ago
- Benchmarks for comparing the speed of stdout vs stderr & code snippets for my blog post.โ15Dec 4, 2024Updated last year
- Program that translates OCaml into C languageโ39Apr 3, 2015Updated 11 years ago
- End-to-end encrypted cloud storage - Proton Drive โข AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Python docker image with Poetry pre-installedโ12Updated this week
- LearnFree - The Open-Source Free Learning Portal for Everyoneโ13Feb 23, 2022Updated 4 years ago
- โ17Jul 25, 2023Updated 3 years ago
- Companion Minecraft Plugin and Mod for the MC Linker Discord Botโ13Aug 14, 2026Updated 2 weeks 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 11 months 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
- Pulls from https://github.com/DJScias/Discord-Datamining/ and outputs to multiple channelsโ13Sep 5, 2019Updated 6 years ago
- Multiparty Session Types in OCamlโ61Nov 1, 2024Updated last year
- 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.
- Troglobit Toolbox -- Misc. home brewed code, free to use under GPL/MIT/ISC, see each snippet for license.โ10May 18, 2025Updated last year
- A declarative and ergonomic internationalization for Rust using Fluent. Mirror of https://gitlab.archlinux.org/orhun/fluent-i18nโ18Sep 29, 2025Updated 11 months ago
- โ10Mar 31, 2016Updated 10 years ago
- Windows registry editor written with Qt, based on chntpw code.โ17Apr 28, 2023Updated 3 years ago
- A course on formal verification at https://compsciclub.ru/en, Spring term 2021โ59Feb 28, 2023Updated 3 years ago
- Yet another ActivityPub server implementation written in OCamlโ50Updated this week
- don't forget to star this :)โ14Nov 22, 2022Updated 3 years ago