🌀 Inference programming language specification
☆17Sep 11, 2026Updated last week
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:
- Curated list of well-known Stellar accounts and blocked domains☆13Updated this week
- Trustless Work provides permissionles escrow infrastructure. By using Trustless Work, any platform can integrate escrows in their user fl…☆25Updated this week
- Second layer payment network, exchange, and scaling solution for Stellar Network☆31Jan 5, 2022Updated 4 years ago
- Compile-time Evaluable SHA3 in C++: Permutation-based Cryptographic Hashing☆16Jun 22, 2026Updated 2 months ago
- Formalization of the basic actuarial mathematics using Coq☆22Dec 11, 2024Updated last year
- 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.
- A online playground to explore with type Inference algorithms.☆18Jan 28, 2026Updated 7 months ago
- 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 2 weeks ago
- Components for Stellar’s design system☆18Sep 4, 2026Updated 2 weeks ago
- E-Graph library☆23Apr 4, 2024Updated 2 years ago
- A code generator for XDR☆25Aug 28, 2026Updated 3 weeks ago
- A enumerator for MLIR, relying on the information given by IRDL.☆26Jun 23, 2026Updated 2 months ago
- GitHub Action automatically checks for typos.☆15Feb 26, 2025Updated last year
- 🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/☆22Sep 20, 2025Updated last year
- 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.
- A Stellar MCP to interact with Horizon API and Soroban☆18Jun 23, 2025Updated last year
- ☆22Mar 2, 2026Updated 6 months 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
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆20Sep 11, 2026Updated last week
- Stellar app for Ledger Nano S☆18Updated this week
- 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 2 months ago
- Private IPFS Gateway for better authentication, security, and web3 WebAssembly hosting.☆22Jul 25, 2026Updated last month
- Hover definitions for Ghostty's configuration file☆22Dec 22, 2023Updated 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.
- 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
- A raytracer written with webgpu (wgpu-rs).☆13Nov 19, 2020Updated 5 years ago
- Building Pocket-Sized Terminal UIs with Rust (workshop)☆15Oct 8, 2025Updated 11 months ago
- Tablegen bindings for Rust☆18Sep 11, 2026Updated last week
- Visualize Graphs as Images with one Function Call☆17Dec 11, 2025Updated 9 months ago
- Generates CIL MLIR dialect from C/C++ source.☆36Feb 10, 2021Updated 5 years ago
- Open Cap eXcel (OCX) - Convert Open Cap Format (OCF) packages into a standardized Excel format.☆39Apr 17, 2024Updated 2 years ago
- Rust bindings to the Halide runtime☆20Apr 11, 2023Updated 3 years ago
- An attempt at safe imperative GPU programming.☆70Updated this week
- 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.
- Proof-of-Teamwork farming protocol for the KALE Stellar asset, combining staking, proof of work, and timed Soroban block rewards.☆23Mar 6, 2026Updated 6 months ago
- Human Protocol python/js/ts Monorepo with example☆34Aug 27, 2026Updated 3 weeks ago
- A modern library for building production-grade compilers☆17Feb 18, 2025Updated last year
- ☆22Oct 4, 2021Updated 4 years ago
- IOKit bindings for Rust.☆21Oct 31, 2025Updated 10 months ago
- Make efficient timelapse videos for drawing with art software☆44Updated this week
- Rust SDK for Soroban contracts.☆204Updated this week