π Inference programming language
β26Oct 28, 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:
- Miri: GPU-first programming languageβ16Updated this week
- The KΔra programming language β compiled via LLVM, with automatic parallelization and WebAssembly support.β45Updated this week
- The Hale programming language: general-purpose, native and memory-safe, from a five-line script to a dynamic distributed system. Less lanβ¦β41Updated this week
- Documentsβ13May 6, 2026Updated 5 months ago
- SSHv2 library, client and server implementation in OCamlβ13Mar 3, 2012Updated 14 years ago
- AI Agents on DigitalOcean Gradient AI Platform β’ AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- MessagePack for OCaml/Coqβ15Feb 24, 2013Updated 13 years ago
- Trustless Work provides permissionles escrow infrastructure. By using Trustless Work, any platform can integrate escrows in their user flβ¦β25Updated this week
- An open-source geospatial infrastructure that transforms institutional hyperlinks into a unified spatial index of cultural heritage proveβ¦β12Oct 23, 2026Updated last week
- Hashing primitives used in Ethereumβ14Feb 19, 2026Updated 8 months ago
- Your TypeScript, compiled to a native executable. Rust-class speed, every core, no runtime.β12Updated this week
- The AI agent-native systems programming language: Meaning in. Verified machine code out. All target OS, memory managed through Ownership β¦β25Updated this week
- Salam is a general-purpose and systems programming language designed for efficient software development, featuring a built-in domain-specβ¦β89Updated this week
- Automatically exported from code.google.com/p/ardrone-toolβ14Aug 7, 2017Updated 9 years ago
- Ironwood is an ahead-of-time compiled, object-oriented language for high-performance native applications. It preserves the familiar Java β¦β25Oct 10, 2026Updated 2 weeks 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.
- Verification Framework for Actor Systems on Coqβ30Jul 2, 2018Updated 8 years ago
- β13Oct 16, 2026Updated 2 weeks ago
- Benchmark for hypervisor/sandboxing overheadβ12Dec 23, 2024Updated last year
- World ID state bridge for Lineaβ10Oct 21, 2024Updated 2 years ago
- Formalization of the basic actuarial mathematics using Coqβ23Dec 11, 2024Updated last year
- Auction-managed perpetual optionsβ11Jun 27, 2024Updated 2 years ago
- Implementation of the Lox language in OCamlβ16Mar 26, 2020Updated 6 years ago
- β12Mar 29, 2026Updated 7 months ago
- β15Feb 15, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Development and community statistics for core Scientific Python projectsβ13Sep 9, 2025Updated last year
- Security-oriented three-axis observability for sandboxed AI agents: model intent, app context, and runtime telemetry into verifiable evidβ¦β61Oct 19, 2026Updated last week
- A plugin that enhances insert-mode keymapping by showing typed keys in real time, without waiting for timeoutlen. It provides a responsivβ¦β13Jun 11, 2026Updated 4 months ago
- A comprehensive framework and node for developing, deploying, and interacting with smart contracts written in Rust and Solidity (includinβ¦β20Oct 3, 2025Updated last year
- The Fuzion Language Implementationβ66Updated this week
- A Multilingual Programming Languageβ29Oct 11, 2026Updated 2 weeks ago
- Elara is a purely-functional programming language targeting the JVMβ17Oct 17, 2026Updated last week
- Packing circles into arbitrary shapes since 2019.β16Nov 18, 2021Updated 4 years ago
- Uncertainty Visualization bookβ19Oct 16, 2018Updated 8 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.
- Nushell wrapper for Homebrewβ14Aug 3, 2025Updated last year
- Catalogue of languages designed for Agentsβ25Updated this week
- Checking that your dependency requirements are soundβ14Apr 3, 2025Updated last year
- Adding support for the Rust language to the Linux kernel.β10Jun 22, 2023Updated 3 years ago
- Starknet privacy protocolβ32Oct 22, 2026Updated last week
- KMIR Rust Libraryβ11Aug 15, 2026Updated 2 months ago
- π¦ Scientific journal and sci-fi themed color palettes for Rustβ21Jul 31, 2026Updated 2 months ago