Cheating a little to solve the halting problem at scale
☆32Nov 17, 2025Updated 6 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:
- ☆10Oct 31, 2023Updated 2 years ago
- 🚀 The leading WebAssembly Runtime supporting WASI and Emscripten☆25Nov 19, 2024Updated last year
- Cargo extension for building Rust smart contracts on NEAR☆68Updated this week
- ☆10Jul 30, 2025Updated 9 months ago
- NEAR contract schema and tooling☆19Mar 27, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- This repository provides a GitHub Action for running the Kani Rust Verifier in CI.☆13May 13, 2025Updated last year
- scaffold project, which is part of `cargo-near` as `cargo near new` command☆16May 6, 2026Updated 3 weeks ago
- JS Library to connect to the NEAR Lake S3 and stream the data☆29Feb 23, 2025Updated last year
- Borsh binary serialization format support for Java.☆19May 3, 2024Updated 2 years ago
- Read-only NEAR RPC centralized-like performant solution☆21Aug 18, 2025Updated 9 months ago
- Blindspots in LLMs I've noticed while AI coding. Sonnet family emphasis.☆13Mar 20, 2025Updated last year
- ☆25May 8, 2026Updated 3 weeks ago
- Near Indexing as a Service☆22Nov 18, 2024Updated last year
- Transaction builder for all chains in Rust☆21Jan 12, 2026Updated 4 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Developer Experience building on NEAR☆26Aug 23, 2025Updated 9 months ago
- ☆33Feb 28, 2025Updated last year
- The book about near-sdk-rs☆21Jul 19, 2024Updated last year
- Contract to drop tokens via link☆56Sep 3, 2025Updated 8 months ago
- Write tests once, run them both on NEAR TestNet and a controlled NEAR Sandbox local environment via Rust☆91Apr 7, 2026Updated last month
- https://marketplace.visualstudio.com/items?itemName=near-protocol.near-discovery-ide☆14May 3, 2024Updated 2 years ago
- Community-sourced and curated data for the NEAR Ecosystem.☆48Jul 30, 2025Updated 9 months ago
- Interact with NEAR blockchain from iOS and OS X apps using Swift☆25May 3, 2024Updated 2 years ago
- ☆23May 3, 2024Updated 2 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.
- A cross-platform RISC-V interpreter that implements the RV32IMA instruction set.☆24Aug 23, 2022Updated 3 years ago
- Fun with wgpu: Simulating slime mold☆24Aug 22, 2024Updated last year
- Rust Reference Implementation of Relayer for NEP-366 Meta Transactions☆37Feb 20, 2025Updated last year
- An alternate reality web browser, powered by an LLM☆19Apr 29, 2024Updated 2 years ago
- Front end for https://app.astrodao.com☆37Jan 18, 2023Updated 3 years ago
- Convenient creation of type-safe refinement types.☆23Jul 30, 2024Updated last year
- simple solution for corgi NFT☆24May 3, 2024Updated 2 years ago
- ☆21May 3, 2024Updated 2 years ago
- Micro-service used by NEAR Wallet to store & send recovery methods☆39Nov 30, 2025Updated 5 months 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.
- ☆15Jun 30, 2025Updated 10 months ago
- a command line utility that simplifies local component development for NEAR BOS☆58Feb 11, 2026Updated 3 months ago
- Curated list of resources: examples, libraries, projects☆56May 21, 2026Updated last week
- Watch NEAR network and store all the events as JSON files on AWS S3☆52Mar 13, 2025Updated last year
- TOON as DSPy adapter☆26Feb 1, 2026Updated 3 months ago
- FPGA Portable Music Generator☆11Aug 1, 2018Updated 7 years ago
- The Near Enhancement Proposals repository☆237May 18, 2026Updated last week