🌀 Inference programming language
☆23Aug 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☆17Jul 26, 2026Updated 2 weeks ago
- OCaml bindings to libssh☆14Jan 3, 2016Updated 10 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
- 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 3, 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.
- Example Coq plugin☆18Mar 23, 2018Updated 8 years 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
- ☆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…☆37Jul 28, 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
- A nushell plugin to work with semver versions☆14Jul 13, 2026Updated 3 weeks ago
- mizumochi is a tool to simulate unstable disk I/O for testing stability/robustness of system.☆36Oct 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.
- Poisson disc sampling in arbitrary dimensions using Bridson's algorithm☆14Nov 1, 2022Updated 3 years ago
- 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
- 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
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆20Apr 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
- Tooters: A Rust TUI-based Mastodon App☆17Mar 5, 2025Updated last year
- Total Parser Combinators in Coq [maintainer=@womeier]☆51Jul 19, 2026Updated 3 weeks ago
- LearnFree - The Open-Source Free Learning Portal for Everyone☆13Feb 23, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Hover definitions for Ghostty's configuration file☆22Dec 22, 2023Updated 2 years ago
- ☆17Jul 25, 2023Updated 3 years ago
- Companion Minecraft Plugin and Mod for the MC Linker Discord Bot☆13Jun 28, 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 10 months ago
- Convert YAML calendar entries to ICS☆22Aug 3, 2026Updated last week
- An aid for developing correct WebAssembly implementations through generative fuzzing☆15Aug 30, 2022Updated 3 years ago
- Youtube downloader front end package for YunoHost☆16Oct 31, 2023Updated 2 years ago
- Sensitivity analysis using simulation decomposition☆31Jun 10, 2026Updated 2 months ago
- A list of the known Steam/Discord Nitro Phishing URLs.☆10May 2, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Soroban Governor is a library implementing the popular Governor DAO governance framework for Soroban.☆17Jul 9, 2024Updated 2 years ago
- discord bot thing☆13Mar 5, 2023Updated 3 years ago
- An opinionated open source deployment of jupyterhub based on an Slurm job scheduler.☆30Sep 30, 2024Updated last year
- 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 10 months ago
- Windows registry editor written with Qt, based on chntpw code.☆17Apr 28, 2023Updated 3 years ago
- ♿ Accessible pygments themes☆27Aug 3, 2026Updated last week