🌀 Inference programming language
☆25Sep 14, 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:
- 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
- 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
- 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.
- MessagePack for OCaml/Coq☆15Feb 24, 2013Updated 13 years ago
- 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
- Example Coq plugin☆18Mar 23, 2018Updated 8 years ago
- Yu-Gi-Oh! Card Search Discord Bot☆10Aug 13, 2023Updated 3 years ago
- Verification Framework for Actor Systems on Coq☆29Jul 2, 2018Updated 8 years ago
- Development and community statistics for core Scientific Python projects☆13Sep 9, 2025Updated last year
- Benchmark for hypervisor/sandboxing overhead☆12Dec 23, 2024Updated last year
- ☆15Feb 15, 2023Updated 3 years ago
- Kaleidux is a high-performance, dynamic wallpaper daemon for Linux, supporting both Wayland (via Layer-Shell) and X11. It transforms your…☆39Sep 2, 2026Updated 2 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Solidity ANTLR4 grammar Python parser☆13Mar 11, 2025Updated last year
- department of turtles☆20Apr 13, 2026Updated 5 months 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 6 years ago
- Packing circles into arbitrary shapes since 2019.☆16Nov 18, 2021Updated 4 years ago
- OCamlOScope 2 : OCaml API search☆43Oct 12, 2017Updated 8 years ago
- Splatnet/Music Bot☆10Feb 9, 2025Updated last year
- asyncio-based GitHub API client☆16Apr 18, 2023Updated 3 years ago
- Rust procedural macro to insert a few asm! calls full of junk instructions in between every line of code.☆13May 27, 2023Updated 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.
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆20Sep 11, 2026Updated last week
- 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
- Tooters: A Rust TUI-based Mastodon App☆17Mar 5, 2025Updated last year
- Total Parser Combinators in Coq [maintainer=@womeier]☆51Aug 22, 2026Updated 3 weeks ago
- LearnFree - The Open-Source Free Learning Portal for Everyone☆13Feb 23, 2022Updated 4 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 11 months ago
- Convert YAML calendar entries to ICS☆22Sep 1, 2026Updated 2 weeks ago
- An aid for developing correct WebAssembly implementations through generative fuzzing☆15Aug 30, 2022Updated 4 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] Faster Implementation of Dialyzer☆56Apr 4, 2024Updated 2 years ago
- Youtube downloader front end package for YunoHost☆16Oct 31, 2023Updated 2 years ago
- A list of the known Steam/Discord Nitro Phishing URLs.☆10May 2, 2022Updated 4 years ago
- A Discord bot designed to build better communities by encouraging a positive and constructive relationship between community and staff.☆14Jul 13, 2026Updated 2 months ago
- discord bot thing☆13Mar 5, 2023Updated 3 years ago
- Visualize Graphs as Images with one Function Call☆17Dec 11, 2025Updated 9 months ago
- Windows registry editor written with Qt, based on chntpw code.☆17Apr 28, 2023Updated 3 years ago