Refu language
☆22Jan 23, 2022Updated 4 years ago
Alternatives and similar repositories for refu
Users that are interested in refu are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Gas metering injector for eWASM in Golang.☆11Jul 29, 2019Updated 6 years ago
- A massive multiplayer online take on the arcade classic, written as a part of Clojure Cup 2013☆50May 21, 2014Updated 11 years ago
- Generic ERC20 wrapper solidity smart contract☆17Oct 30, 2021Updated 4 years ago
- Plaintext Crypto Portfolio☆16Nov 23, 2024Updated last year
- ☆12Nov 16, 2021Updated 4 years 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.
- EVM performance tests for a range of clients☆24Dec 27, 2019Updated 6 years ago
- GitHub app to add Ethereum bounties (Ether or ERC-20) to GitHub issues☆16Nov 18, 2017Updated 8 years ago
- An LLL-based smart contract function dispatcher and example contract.☆47Jan 24, 2017Updated 9 years ago
- (Hopefully) a compiler for my first language named "Pie"☆26Mar 13, 2026Updated last month
- ☆23Aug 1, 2021Updated 4 years ago
- [DEPRECATED] A JavaScript component to handle arbitrary precision numbers with units. Archived in favor of https://github.com/ExodusOSS/h…☆18Mar 30, 2017Updated 9 years ago
- A fork of floodyberry's ed25519-donna modified to support the Ristretto prime-order group☆15Jan 15, 2021Updated 5 years ago
- 📑 Documentation generator for Solidity☆24Feb 12, 2022Updated 4 years ago
- Short pieces of code that are "plays" - mostly haskell, sometimes math / other things☆13Jun 26, 2022Updated 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.
- A method to deploy a quarantined zcashd testnet with monitoring.☆16Jul 29, 2021Updated 4 years ago
- Team formation repo - just file issues with ideas!☆14Aug 6, 2019Updated 6 years ago
- ⛓ Process the ethereum blockchain in the Browser ou Node.js with ♦libp2p 🎉☆25Sep 20, 2016Updated 9 years ago
- An extensible dead-man's switch system☆25Jul 31, 2016Updated 9 years ago
- ☆14Dec 6, 2018Updated 7 years ago
- A faster Java heap analysis tool☆21Feb 19, 2017Updated 9 years ago
- A simple asyncio friendly replacement for multiprocessing to run coroutines in a separate process.☆14Sep 10, 2020Updated 5 years ago
- Propositional calculus in Haskell☆11Nov 21, 2016Updated 9 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Feb 23, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Solidity error logging☆23Sep 21, 2021Updated 4 years ago
- SubC Compiler : By Nils M Holm, 2011--2012☆16Aug 10, 2012Updated 13 years ago
- Notes and stuff related to the study group☆15Feb 26, 2017Updated 9 years ago
- Translation of query languages to serialized KoralQuery protocol☆14Mar 30, 2026Updated 2 weeks ago
- A Chess engine written in Common Lisp☆11Sep 26, 2013Updated 12 years ago
- A CLI tool for auto updating your Twitter banner with a Solvency.art NFT render every 60s☆12Sep 5, 2021Updated 4 years ago
- Send Ethereum micropayments through signed messages.☆12Dec 11, 2018Updated 7 years ago
- Java Library for Generating x86 Code☆12Sep 30, 2019Updated 6 years ago
- FastPay: High-Performance Byzantine Fault Tolerant Settlement☆85Apr 18, 2022Updated 3 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.
- ☆26Feb 13, 2023Updated 3 years ago
- Custom derive for clap.☆34Feb 3, 2020Updated 6 years ago
- Proof checker for propositional logic☆16Jul 7, 2017Updated 8 years ago
- A java port of the MicroRaiden project: https://github.com/raiden-network/microraiden☆10May 4, 2018Updated 7 years ago
- Front-end for Christain Lundkvist's Simple MultiSig Wallet☆11Apr 3, 2018Updated 8 years ago
- Contracts used in context of the WallETH project☆12Jun 19, 2018Updated 7 years ago
- The Explainers Initiative is an open effort to bring technical content regarding the Serenity upgrade of the Ethereum blockchain closer t…☆10Aug 15, 2019Updated 6 years ago