Cheating a little to solve the halting problem at scale
☆32Aug 1, 2026Updated 2 months ago
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:
- scaffold project, which is part of `cargo-near` as `cargo near new` command☆17Aug 1, 2026Updated 2 months ago
- ☆10Oct 31, 2023Updated 2 years ago
- Cargo extension for building Rust smart contracts on NEAR☆68Updated this week
- NEAR contract schema and tooling☆21Aug 1, 2026Updated 2 months ago
- This is the home of NEAR collective developer experience plans and roadmap.☆11Jul 28, 2020Updated 6 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.
- This repository provides a GitHub Action for running the Kani Rust Verifier in CI.☆14Sep 20, 2026Updated 3 weeks ago
- NEAR Nodes documentation☆21Mar 17, 2026Updated 7 months ago
- Read-only NEAR RPC centralized-like performant solution☆21Aug 18, 2025Updated last year
- ⛔️ DEPRECATED - Live App SDK☆12Apr 15, 2024Updated 2 years ago
- Project structure for writing smart contracts in Rust for NEAR Protocol☆15Apr 24, 2024Updated 2 years ago
- A starting point to write, build and test JavaScript smart contract☆12Jun 2, 2024Updated 2 years ago
- Developer Experience building on NEAR☆27Aug 1, 2026Updated 2 months ago
- ☆21Aug 1, 2026Updated 2 months ago
- ☆26Oct 9, 2026Updated last week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆21Aug 1, 2026Updated 2 months ago
- Contract to drop tokens via link☆56Sep 3, 2025Updated last year
- Rate-limit middleware for reqwest.☆19Feb 9, 2026Updated 8 months ago
- Community-sourced and curated data for the NEAR Ecosystem.☆50Aug 1, 2026Updated 2 months ago
- JSON Web Token for redbean☆25Jul 3, 2024Updated 2 years ago
- Fun with wgpu: Simulating slime mold☆24Aug 22, 2024Updated 2 years ago
- Convenient creation of type-safe refinement types.☆22Jul 30, 2024Updated 2 years ago
- simple solution for corgi NFT☆24Aug 1, 2026Updated 2 months ago
- A Business and Professional Enablement Blockchain built with Substrate.☆18Jun 20, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Functional AWK. Experiment, no quality guarantees. Not aiming to be compatible with the AWK standard.☆29Dec 9, 2025Updated 10 months ago
- ☆12Sep 10, 2015Updated 11 years ago
- Empowering everyone to build reliable and efficient software.☆12Oct 6, 2026Updated last week
- Curated list of resources: examples, libraries, projects☆56Aug 1, 2026Updated 2 months ago
- a command line utility that simplifies local component development for NEAR BOS☆57Jun 17, 2026Updated 4 months ago
- ☆16Jun 9, 2026Updated 4 months ago
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- Temporal noise reduction for videos in BRAW format to get long virtual exposure time☆32May 20, 2024Updated 2 years ago
- The Near Enhancement Proposals repository☆241Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- AITP: Agent Interaction & Transaction Protocol☆26Apr 1, 2025Updated last year
- 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
- no_std experimental SDK for NEAR Protocol☆25Sep 17, 2023Updated 3 years ago
- Create, store and trade randomly generated digital artwork on the blockchain.☆10Apr 5, 2023Updated 3 years ago
- Improved execution layer for NEAR decentralized frontend components☆28Aug 1, 2026Updated 2 months ago
- A browser for social data and web4☆62Sep 30, 2026Updated 2 weeks ago
- A Rust crate to compute boolean operations on polygons.☆16Nov 4, 2023Updated 2 years ago