Cheating a little to solve the halting problem at scale
☆32Nov 17, 2025Updated 4 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
- ☆10Jul 30, 2025Updated 7 months ago
- NEAR Redpacket based on NEAR Linkdrop☆16May 3, 2024Updated last year
- This is the home of NEAR collective developer experience plans and roadmap.☆11Jul 28, 2020Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- This repository provides a GitHub Action for running the Kani Rust Verifier in CI.☆12May 13, 2025Updated 10 months ago
- NEAR Wiki☆30Oct 25, 2024Updated last year
- NEAR Nodes documentation☆21Mar 17, 2026Updated last week
- Borsh binary serialization format support for Java.☆19May 3, 2024Updated last year
- Near Indexing as a Service☆21Nov 18, 2024Updated last year
- ⛔️ DEPRECATED - Live App SDK☆12Apr 15, 2024Updated last year
- A starting point to write, build and test JavaScript smart contract☆13Jun 2, 2024Updated last year
- ☆25Mar 12, 2026Updated 2 weeks ago
- Transaction builder for all chains in Rust☆21Jan 12, 2026Updated 2 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Developer Experience building on NEAR☆26Aug 23, 2025Updated 7 months ago
- DevRel 4.0☆11Mar 27, 2025Updated last year
- ☆33Feb 28, 2025Updated last year
- The book about near-sdk-rs☆21Jul 19, 2024Updated last year
- Coordination repository of Near Community☆38May 3, 2024Updated last year
- ☆19May 19, 2023Updated 2 years ago
- Project structure for writing smart contracts in Rust for NEAR Protocol☆15Apr 24, 2024Updated last year
- ☆21Oct 24, 2023Updated 2 years ago
- Contract to drop tokens via link☆55Sep 3, 2025Updated 6 months ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- https://marketplace.visualstudio.com/items?itemName=near-protocol.near-discovery-ide☆14May 3, 2024Updated last year
- ☆14Jun 25, 2024Updated last year
- Interact with NEAR blockchain from iOS and OS X apps using Swift☆25May 3, 2024Updated last year
- A cross-platform RISC-V interpreter that implements the RV32IMA instruction set.☆24Aug 23, 2022Updated 3 years ago
- This is a repository that holds the source code of all NEAR discovery components that the team maintains for near.org.☆15Aug 27, 2024Updated last year
- Library to connect to the NEAR Lake S3 and stream the data☆60Dec 13, 2025Updated 3 months ago
- Fun with wgpu: Simulating slime mold☆24Aug 22, 2024Updated last year
- Convenient creation of type-safe refinement types.☆23Jul 30, 2024Updated last year
- Empowering everyone to build reliable and efficient software.☆12Oct 1, 2025Updated 5 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Helpful functions and macros for developing smart contracts on NEAR Protocol.☆47Mar 20, 2026Updated last week
- Curated list of resources: examples, libraries, projects☆48Mar 18, 2026Updated last week
- ☆15Jun 30, 2025Updated 8 months ago
- Watch NEAR network and store all the events as JSON files on AWS S3☆52Mar 13, 2025Updated last year
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- FPGA Portable Music Generator☆11Aug 1, 2018Updated 7 years ago
- The Near Enhancement Proposals repository☆234Mar 12, 2026Updated 2 weeks ago