kadena-io / pact-todomvcView external linksLinks
Demo of integrating a JS webapp with the Pact smart contract langauge
☆23Aug 13, 2020Updated 5 years ago
Alternatives and similar repositories for pact-todomvc
Users that are interested in pact-todomvc are comparing it to the libraries listed below
Sorting:
- ☆21Mar 27, 2024Updated last year
- ☆20Nov 14, 2021Updated 4 years ago
- Interactive-diagrams☆39May 18, 2015Updated 10 years ago
- ☆16Aug 17, 2024Updated last year
- QuasiQuoter for GHCJS JavaScript FFI☆20Jul 1, 2016Updated 9 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18May 15, 2019Updated 6 years ago
- A graphical explorer for the Ethereum Blockchain☆50Dec 20, 2018Updated 7 years ago
- Elastify the Ethereum blockchain☆25Aug 29, 2018Updated 7 years ago
- Functional Programming for Ethereum: Intro and Resources☆66Jan 27, 2017Updated 9 years ago
- read hyperirc over websockets☆21Jul 27, 2017Updated 8 years ago
- 🖨️ Printer: Productivity Focused Next.js CLI Tool☆11Nov 24, 2023Updated 2 years ago
- Node script that will use Selenium to scrape card information from NBA Topshot including card names, rarity, and lowest cost at the momen…☆10Oct 23, 2021Updated 4 years ago
- Efficient, polymorphic Map Algebra in Haskell.☆38Feb 17, 2020Updated 5 years ago
- Reflux store and a component wrapper to connect React components with Ethereum transaction states☆30May 14, 2016Updated 9 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- Dependently typed convolutional neural networks☆35May 10, 2017Updated 8 years ago
- Public monorepo for all Typescript/Javascript related tools and libs for Kadena☆40Nov 22, 2025Updated 2 months ago
- The Pact Smart Contract Language☆609Oct 10, 2025Updated 4 months ago
- A powerful airgapped CLI tool for executing Ethereum validator operations including consolidation, switching, and both partial and full w…☆13Jan 13, 2026Updated last month
- Magma community documentation and processes☆10May 3, 2024Updated last year
- Yeoman Generator for Bookmarklets☆33May 17, 2017Updated 8 years ago
- Exploring the neighborhoods of New York City☆11Jan 7, 2023Updated 3 years ago
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 7 years ago
- ☆12Feb 5, 2026Updated last week
- ERC-721 token that wraps a portion of ERC-20☆11Feb 21, 2019Updated 6 years ago
- Tax types and computations for Australia☆11Dec 8, 2025Updated 2 months ago
- 📱 Record iOS devices from command line☆15Jul 14, 2020Updated 5 years ago
- Radar IQ data processing using the GPU☆10Nov 12, 2025Updated 3 months ago
- The Secure Remote Update Protocol (SRUP) is a secure & confirmable command-and-control (C2) protocol for the Internet of Things (IoT), ba…☆13Sep 27, 2021Updated 4 years ago
- Adapted OS for e-ink tablets - allows to use work-related apps with no harm for eyes☆11May 17, 2020Updated 5 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Jul 12, 2017Updated 8 years ago
- Real-world smart contracts and apps built with Pact & Chainweb☆45Sep 22, 2023Updated 2 years ago
- A simple starter project for building Reflex applications with Stack.☆36Oct 4, 2016Updated 9 years ago
- Contains exercises for the workshop in generic programming at Lambda World 2019☆10Oct 17, 2019Updated 6 years ago
- The tool for visualising numerous graph algorithms.☆12Apr 5, 2025Updated 10 months ago
- Fuzzer for finding Open Mail Relays☆14Oct 21, 2020Updated 5 years ago
- Haskell numerical ODE solvers☆14Aug 21, 2017Updated 8 years ago
- ☆14Sep 12, 2016Updated 9 years ago
- Embed a directory of static files in your application and serve them from your Servant server☆14Oct 2, 2024Updated last year