๐ Inference programming language specification
โ17Jul 26, 2026Updated 2 weeks ago
Alternatives and similar repositories for inference-language-spec
Users that are interested in inference-language-spec 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โ23Updated this week
- Programs for checking the ฯ propertyโ17Feb 28, 2021Updated 5 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
- Custom OPAM repository for SATySFi libraries managed by Satyrographosโ19Apr 29, 2026Updated 3 months 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.
- โ20Sep 23, 2025Updated 10 months ago
- A Tian Jiu Pai (ๅคฉไน็) game server written in Sesterl & Elmโ16Oct 8, 2023Updated 2 years ago
- 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
- Stellar XDR type definitions.โ29Updated this week
- A Unified Trust Frameworkโ14Jun 6, 2026Updated 2 months 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
- A system of creating isolated Stellar test networks into which you can play transactions and record results.โ19May 26, 2020Updated 6 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.
- โ13Jul 28, 2026Updated last week
- Layer 2 payment channel protocol for the Stellar network.โ42Mar 4, 2024Updated 2 years ago
- Example use of GitHub Actions with OCamlโ35Jun 22, 2026Updated last month
- Solidity ANTLR4 grammar Python parserโ13Mar 11, 2025Updated last year
- E-Graph libraryโ23Apr 4, 2024Updated 2 years ago
- A code generator for XDRโ24Mar 12, 2026Updated 4 months ago
- GitHub Action automatically checks for typos.โ15Feb 26, 2025Updated last year
- A nushell plugin to work with semver versionsโ14Jul 13, 2026Updated 3 weeks ago
- RSS master is a RSS subscription function aggregation tool, You can use it easily!โ10Jul 26, 2024Updated 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.
- ๐ฆ Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/โ22Sep 20, 2025Updated 10 months ago
- An amazing fully customizable BetterDiscord theme with many addons, made with ๐ by NEBULYS.โ23Jul 30, 2026Updated last week
- Rust Algebraic Effects System - modeled after https://github.com/vic/fx.goโ17Apr 27, 2026Updated 3 months ago
- โ22Mar 2, 2026Updated 5 months ago
- OCamlOScope 2 : OCaml API searchโ43Oct 12, 2017Updated 8 years ago
- Persona OpenAPI/Swagger Spec for the server APIsโ20Updated this week
- Functions and proofs about game trees in Rocq, implemented as rose trees.โ20Apr 14, 2026Updated 3 months ago
- LLVM alternative in Rustโ16May 20, 2024Updated 2 years ago
- Reference implementation of the Stellar Turrets protocolโ18Aug 29, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting โข AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Axon is a spiking, biologically-based neural model driven by predictive error-driven learning, for systems-level models of the brainโ35Jun 29, 2026Updated last month
- Tooters: A Rust TUI-based Mastodon Appโ17Mar 5, 2025Updated last year
- THORChain Docsโ28Jul 21, 2026Updated 2 weeks ago
- Hover definitions for Ghostty's configuration fileโ22Dec 22, 2023Updated 2 years ago
- โ17Jul 25, 2023Updated 3 years ago
- Exchange application to SWAP and SELL with Ledger Liveโ13Aug 3, 2026Updated last week
- A framework for finding completeness bugs in optimizing compiler toolchains.โ23Mar 4, 2024Updated 2 years ago