๐ Inference programming language specification
โ17Sep 11, 2026Updated last month
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โ26Updated this week
- Reflector oracle smart contractโ12Oct 14, 2026Updated 2 weeks ago
- 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
- 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.
- Documentsโ13May 6, 2026Updated 5 months 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
- MessagePack for OCaml/Coqโ15Feb 24, 2013Updated 13 years ago
- The FIXML standard for encoding FIX messages in XML.โ14Jul 14, 2026Updated 3 months 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
- Trustless Work provides permissionles escrow infrastructure. By using Trustless Work, any platform can integrate escrows in their user flโฆโ25Updated this week
- Custom OPAM repository for SATySFi libraries managed by Satyrographosโ19Apr 29, 2026Updated 6 months ago
- ARCHIVE - I'm going to attempt to use this repository to hold notes and issues with my ID theft and solve things in the open. Should be aโฆโ10May 15, 2015Updated 11 years ago
- Fast, lightweight functions and macros with lean, targeted functionality for Soroban smart contract development.โ10Feb 28, 2024Updated 2 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.
- BetterTouchTool Documentation hosted on https://docs.folivora.aiโ27Sep 23, 2026Updated last month
- C3-like with fun syntax and little ceremony. fin transpiles to C11, shipping a static Clang distribution.โ12Jun 22, 2026Updated 4 months ago
- Open notebook for my research in memetic economicsโ15Aug 10, 2026Updated 2 months ago
- Sunce โ non-custodial multiplatform wallet for Stellar blockchain. Based on Solarโ13Updated this week
- Service offerings expressed with Orchestraโ15Sep 8, 2026Updated last month
- Layer 2 payment channel protocol for the Stellar network.โ42Mar 4, 2024Updated 2 years ago
- A system of creating isolated Stellar test networks into which you can play transactions and record results.โ19May 26, 2020Updated 6 years ago
- Components for Stellarโs design systemโ18Sep 4, 2026Updated last month
- A set of AWS CloudFormation templates for secure web applicationsโ13Jan 26, 2025Updated last year
- 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.
- โ13Sep 2, 2026Updated last month
- โ11Oct 21, 2026Updated last week
- An experimental LLVM pass plugin that allows you to apply the State of the Art function merging techniquesโ16Feb 8, 2025Updated last year
- A Stellar MCP to interact with Horizon API and Sorobanโ18Jun 23, 2025Updated last year
- An amazing fully customizable BetterDiscord theme with many addons, made with ๐ by NEBULYS.โ24Oct 22, 2026Updated last week
- A code generator for XDRโ25Oct 5, 2026Updated 3 weeks ago
- E-Graph libraryโ24Apr 4, 2024Updated 2 years ago
- โ10Mar 20, 2023Updated 3 years ago
- OCamlOScope 2 : OCaml API searchโ43Oct 12, 2017Updated 9 years ago
- Virtual machines for every use case on DigitalOcean โข AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- โ21Oct 6, 2026Updated 3 weeks ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.โ12Aug 13, 2023Updated 3 years ago
- Persona OpenAPI/Swagger Spec for the server APIsโ22Updated this week
- Reference implementation of the Stellar Turrets protocolโ18Aug 29, 2024Updated 2 years ago
- A enumerator for MLIR, relying on the information given by IRDL.โ26Oct 8, 2026Updated 3 weeks ago
- Program that translates OCaml into C languageโ38Apr 3, 2015Updated 11 years ago
- Friendly Slack bot for looking up casesโ21Dec 19, 2017Updated 8 years ago