Cheating a little to solve the halting problem at scale
☆32Aug 1, 2026Updated last month
Alternatives and similar repositories for finite-wasm
Users that are interested in finite-wasm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🚀 The leading WebAssembly Runtime supporting WASI and Emscripten☆25Nov 19, 2024Updated last year
- ☆11Jul 30, 2025Updated last year
- Cargo extension for building Rust smart contracts on NEAR☆68Aug 10, 2026Updated 3 weeks ago
- NEAR contract schema and tooling☆21Aug 1, 2026Updated last month
- NEAR Wiki☆30Oct 25, 2024Updated last year
- 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.
- NEAR Redpacket based on NEAR Linkdrop☆16May 3, 2024Updated 2 years ago
- JS Library to connect to the NEAR Lake S3 and stream the data☆29Feb 23, 2025Updated last year
- This is the home of NEAR collective developer experience plans and roadmap.☆11Jul 28, 2020Updated 6 years ago
- This repository provides a GitHub Action for running the Kani Rust Verifier in CI.☆13May 13, 2025Updated last year
- NEAR Nodes documentation☆21Mar 17, 2026Updated 5 months ago
- Middleware for https://astrodao.com/☆15Jan 17, 2023Updated 3 years ago
- ⛔️ DEPRECATED - Live App SDK☆12Apr 15, 2024Updated 2 years ago
- Near Indexing as a Service☆22Nov 18, 2024Updated last year
- A starting point to write, build and test JavaScript smart contract☆12Jun 2, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- DevRel 4.0☆11Aug 1, 2026Updated last month
- ☆32Jul 28, 2026Updated last month
- The book about near-sdk-rs☆21Jul 19, 2024Updated 2 years ago
- Coordination repository of Near Community☆38Aug 1, 2026Updated last month
- https://marketplace.visualstudio.com/items?itemName=near-protocol.near-discovery-ide☆14May 3, 2024Updated 2 years ago
- ☆14Jun 25, 2024Updated 2 years ago
- JSON Web Token for redbean☆25Jul 3, 2024Updated 2 years ago
- Interact with NEAR blockchain from iOS and OS X apps using Swift☆25Aug 1, 2026Updated last month
- Front end for https://app.astrodao.com☆37Jan 18, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Rust Reference Implementation of Relayer for NEP-366 Meta Transactions☆37Feb 20, 2025Updated last year
- Convenient creation of type-safe refinement types.☆22Jul 30, 2024Updated 2 years ago
- A Business and Professional Enablement Blockchain built with Substrate.☆18Jun 20, 2023Updated 3 years ago
- Functional AWK. Experiment, no quality guarantees. Not aiming to be compatible with the AWK standard.☆29Dec 9, 2025Updated 8 months ago
- Empowering everyone to build reliable and efficient software.☆12Aug 31, 2026Updated last week
- Curated list of resources: examples, libraries, projects☆56Aug 1, 2026Updated last month
- Helpful functions and macros for developing smart contracts on NEAR Protocol.☆46Apr 24, 2026Updated 4 months ago
- a command line utility that simplifies local component development for NEAR BOS☆57Jun 17, 2026Updated 2 months ago
- ☆16Jun 9, 2026Updated 2 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- AITP: Agent Interaction & Transaction Protocol☆25Apr 1, 2025Updated last year
- The homebase for Near Builders☆56Oct 6, 2025Updated 11 months ago
- Sorting out the basic facts behind our projects.☆10Sep 1, 2016Updated 10 years ago
- A GitHub action that allows users to subscribe to a label and automatically get @'d when the label is applied☆12Jul 18, 2023Updated 3 years ago
- The Reconfigurable Solver for QP☆13Apr 19, 2023Updated 3 years ago
- Easily run a local NEAR blockchain☆55Aug 6, 2025Updated last year