๐ Inference programming language specification
โ17Sep 11, 2026Updated 3 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:
- ใฌใชใฐๅ ็ 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 7 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
- Verification Framework for Actor Systems on Coqโ30Jul 2, 2018Updated 8 years ago
- A Unified Trust Frameworkโ224Sep 11, 2026Updated 3 weeks 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.
- 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
- โ13Sep 2, 2026Updated last month
- Example use of GitHub Actions with OCamlโ35Jun 22, 2026Updated 3 months ago
- A set of AWS CloudFormation templates for secure web applicationsโ13Jan 26, 2025Updated last year
- A code generator for XDRโ25Aug 28, 2026Updated last month
- mizumochi is a tool to simulate unstable disk I/O for testing stability/robustness of system.โ37Oct 28, 2020Updated 5 years ago
- A Stellar MCP to interact with Horizon API and Sorobanโ18Jun 23, 2025Updated last year
- โ22Updated this week
- 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.
- 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
- Functions and proofs about game trees in Rocq, implemented as rose trees.โ20Sep 11, 2026Updated last month
- Stellar app for Ledger Nano Sโ18Updated this week
- Benchmarks for comparing the speed of stdout vs stderr & code snippets for my blog post.โ15Dec 4, 2024Updated last year
- Reference implementation of the Stellar Turrets protocolโ18Aug 29, 2024Updated 2 years ago
- Friendly Slack bot for looking up casesโ21Dec 19, 2017Updated 8 years ago
- Axon is a spiking, biologically-based neural model driven by predictive error-driven learning, for systems-level models of the brainโ37Jun 29, 2026Updated 3 months ago
- A framework for finding completeness bugs in optimizing compiler toolchains.โ23Mar 4, 2024Updated 2 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 last year
- Managed Kubernetes at scale on DigitalOcean โข AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Multiparty Session Types in OCamlโ61Nov 1, 2024Updated last year
- BBot! An open source, wireless beer serving robot reference design featuring a C++ program running on a BeagleBone Black, a .Net WPF contโฆโ20Feb 24, 2014Updated 12 years ago
- The latest test vectors for JAM.โ58Jan 25, 2026Updated 8 months ago
- Parse the raw Stellar data into Python models.โ15Jan 6, 2026Updated 9 months ago
- Docker image for MediaGoblin, adapted from https://notabug.org/dachary/mediagoblin-dockerโ28Oct 22, 2021Updated 4 years ago
- Building Pocket-Sized Terminal UIs with Rust (workshop)โ16Oct 8, 2025Updated last year
- A framework for large-scale machine learning and graph computation.โ10Feb 21, 2014Updated 12 years ago
- Tablegen bindings for Rustโ19Sep 25, 2026Updated 2 weeks ago
- โ16May 11, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean โข AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Visualize Graphs as Images with one Function Callโ18Dec 11, 2025Updated 9 months ago
- ๐ป All the resources you'll need to begin your Stellar project.โ12Feb 17, 2023Updated 3 years ago
- Multi-signature security on the Stellar network for Android. ๐๐๏ธ๐โ27Jul 15, 2026Updated 2 months ago
- Rust bindings to the Halide runtimeโ20Apr 11, 2023Updated 3 years ago
- Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicityโ22Feb 26, 2026Updated 7 months ago
- An attempt at safe imperative GPU programming.โ70Sep 16, 2026Updated 3 weeks ago
- Proof-of-Teamwork farming protocol for the KALE Stellar asset, combining staking, proof of work, and timed Soroban block rewards.โ23Mar 6, 2026Updated 7 months ago