The New Pact
☆25Oct 20, 2025Updated last year
Alternatives and similar repositories for pact-5
Users that are interested in pact-5 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 Juvix standard library☆27Sep 28, 2026Updated last month
- Public monorepo for all Typescript/Javascript related tools and libs for Kadena☆38Nov 22, 2025Updated 11 months ago
- Symbolic framework☆24Apr 8, 2026Updated 6 months ago
- ☆20Updated this week
- Namada indexer to be used in conjunction with the namada interface☆49Dec 19, 2025Updated 10 months ago
- 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.
- Data ingestion for Chainweb.☆15Nov 25, 2025Updated 11 months ago
- The Pact Smart Contract Language☆606Oct 10, 2025Updated last year
- Fork of Marmalade-V2☆11Jun 7, 2024Updated 2 years ago
- ☆18Dec 3, 2024Updated last year
- Modern bindings to Oracle odpic☆12Oct 26, 2025Updated last year
- Real-world smart contracts and apps built with Pact & Chainweb☆44Sep 14, 2026Updated last month
- Kadena Improvement Proposals☆21Jul 19, 2025Updated last year
- Cardano Data Node☆138Updated this week
- ☆14Jun 19, 2026Updated 4 months ago
- 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.
- ☆28May 12, 2026Updated 5 months ago
- Haskell implementation of an LRU cache☆25Dec 29, 2025Updated 10 months ago
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆228Updated this week
- Reference implementation of Approximate Lower Bound Arguments☆19Apr 18, 2025Updated last year
- Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput☆255Nov 22, 2025Updated 11 months ago
- This package helps to create a "Plug & Play" sandbox for easy development of Pact Smart Contracts off-chain, with all standards contracts…☆12Oct 18, 2025Updated last year
- Protect against backwards-incompatible serializations☆23May 21, 2021Updated 5 years ago
- Alternative and lite implementation of Hoogle☆11Apr 9, 2024Updated 2 years ago
- Archive for all Rocq and Coq-related opam packages organized in various repositories☆174Updated this week
- 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.
- ☆14Apr 17, 2022Updated 4 years ago
- An Open-Source Cardano wallet extension, provides proactive protection from phishing using ML modules and community insights.☆10Oct 5, 2026Updated 3 weeks ago
- A language for intent-centric and declarative decentralised applications☆508Nov 5, 2025Updated 11 months ago
- Haskell bindings to liblzma☆18Dec 27, 2024Updated last year
- Working through https://leanpub.com/optics-by-example by Chris Penner☆12Sep 9, 2021Updated 5 years ago
- ☆15Oct 10, 2024Updated 2 years ago
- Make the dhall compiler accessible from Javascript☆12Nov 26, 2017Updated 8 years ago
- ☆10Feb 14, 2026Updated 8 months ago
- Samba Active Directory Graphic Interface Environment☆24Oct 17, 2026Updated 2 weeks 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.
- Cardano API☆41Updated this week
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆225Oct 28, 2026Updated last week
- Purely-functional library for the discriminating cryptographer.☆10Dec 12, 2017Updated 8 years ago
- 🔧 Semantic UI for Haskell and Reflex-DOM☆36Jun 5, 2022Updated 4 years ago
- System tuning recommendations for running cryptographic applications☆23Jun 13, 2016Updated 10 years ago
- Symfony bundle which provides a way to version your application using various versioning strategies☆10Jul 23, 2026Updated 3 months ago
- ogmigo is a go client for ogmios☆10Nov 22, 2023Updated 2 years ago