refu-lang/refu external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

refu-lang/refu

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/refu-lang/refu)

Close

refu-lang / refuView on GitHubMore

• External links
• Readme badge

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.

• sky-ecosystem / mcd-cli

  View on GitHub
  MCD Command-line interface
  ☆18Oct 3, 2022Updated 3 years ago
• gcolvin / evm-drag-race

  View on GitHub
  EVM performance tests for a range of clients
  ☆24Dec 27, 2019Updated 6 years ago
• issuETH / issuETH

  View on GitHub
  GitHub app to add Ethereum bounties (Ether or ERC-20) to GitHub issues
  ☆16Nov 18, 2017Updated 8 years ago
• rust-tw / coscup2019

  View on GitHub
  Slides of "Everything in Rust" of COSCUP 2019
  ☆11Aug 25, 2019Updated 6 years ago
• clemlak / leafleth

  View on GitHub
  📑 Documentation generator for Solidity
  ☆24Feb 12, 2022Updated 4 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• pipermerriam / ethereum-stack-depth-lib

  View on GitHub
  Solidity library for checking whether the call stack can be increased by a certain amount.
  ☆11Nov 14, 2015Updated 10 years ago
• cawfree / opensea-arb-nft20

  View on GitHub
  🧸 💸 Detects arbitrage opportunities for ERC-721 tokens between OpenSea and NFT20.
  ☆47Oct 31, 2021Updated 4 years ago
• zcash-hackworks / zcash-testnet-in-a-box

  View on GitHub
  A method to deploy a quarantined zcashd testnet with monitoring.
  ☆16Jul 29, 2021Updated 4 years ago
• ms314006 / refactoring-with-javascript

  View on GitHub
  關於 「重構─改善既有程式的設計, 2/e (Refactoring: Improving The Design of Existing Code) 」 的讀書心得
  ☆11Jun 11, 2019Updated 7 years ago
• PDIS / 3000-static

  View on GitHub
  3000.gov.tw
  ☆16Jun 17, 2020Updated 5 years ago
• arnaucube / evm-rs

  View on GitHub
  Ethereum Virtual Machine implementation from scratch in Rust
  ☆26Sep 25, 2021Updated 4 years ago
• daviddias / js-ethereum-libp2p

  View on GitHub
  ⛓ Process the ethereum blockchain in the Browser ou Node.js with ♦libp2p 🎉
  ☆25Sep 20, 2016Updated 9 years ago
• sile / erl_parse

  View on GitHub
  Erlang source code parser written in Rust
  ☆10May 21, 2026Updated 3 weeks ago
• raphaelvigee / raphaelvigee.com

  View on GitHub
  🦝
  ☆12Jan 8, 2021Updated 5 years ago
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• on-site / fasthat

  View on GitHub
  A faster Java heap analysis tool
  ☆22Feb 19, 2017Updated 9 years ago
• ethereum / asyncio-run-in-process

  View on GitHub
  A simple asyncio friendly replacement for multiprocessing to run coroutines in a separate process.
  ☆14Sep 10, 2020Updated 5 years ago
• ColemanGariety / derivation-machine

  View on GitHub
  Propositional calculus in Haskell
  ☆11Nov 21, 2016Updated 9 years ago
• taktoa / wasm-agda

  View on GitHub
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Feb 23, 2018Updated 8 years ago
• kstephens / subc

  View on GitHub
  SubC Compiler : By Nils M Holm, 2011--2012
  ☆17Aug 10, 2012Updated 13 years ago
• KorAP / Koral

  View on GitHub
  Translation of query languages to serialized KoralQuery protocol
  ☆15Jun 4, 2026Updated last week
• vollmerm / lalla-chess

  View on GitHub
  A Chess engine written in Common Lisp
  ☆11Sep 26, 2013Updated 12 years ago
• spalladino / erc20-verifier

  View on GitHub
  Online ERC20 verifier based on tinchoabbate's slither-scripts
  ☆13Nov 1, 2019Updated 6 years ago
• austintgriffith / minimum-viable-payment-channel

  View on GitHub
  Send Ethereum micropayments through signed messages.
  ☆12Dec 11, 2018Updated 7 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• mehranhydary / loot-query

  View on GitHub
  ☆10Sep 4, 2021Updated 4 years ago
• ether-camp / ethereum-testing-reference

  View on GitHub
  ☆30Mar 19, 2017Updated 9 years ago
• DavePearce / jx86

  View on GitHub
  Java Library for Generating x86 Code
  ☆12Sep 30, 2019Updated 6 years ago
• Drup / llvmgraph

  View on GitHub
  Ocamlgraph overlay for llvm
  ☆20Apr 4, 2015Updated 11 years ago
• ethereum / twig

  View on GitHub
  ☆14Jan 21, 2019Updated 7 years ago
• MysticMonsoon / SimpleMultisig

  View on GitHub
  Front-end for Christain Lundkvist's Simple MultiSig Wallet
  ☆11Apr 3, 2018Updated 8 years ago
• dyoo / ragg

  View on GitHub
  A parser generator generator
  ☆19May 17, 2023Updated 3 years ago
• perama-v / gidget-gadget

  View on GitHub
  ☆11May 31, 2021Updated 5 years ago
• thechiselgroup / biomixer

  View on GitHub
  BioMixer
  ☆17May 18, 2016Updated 10 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• aurovine / AudioCoin

  View on GitHub
  node
  ☆11Oct 19, 2020Updated 5 years ago
• dzhang55 / rust-chess

  View on GitHub
  Rust implementation of Chess using WebSockets
  ☆11May 7, 2016Updated 10 years ago
• TU-Berlin / opal

  View on GitHub
  Opal - Optimized Applicative Language | Moved to TU Berlin GitLab: https://git.tu-berlin.de/github-TU-Berlin/opal
  ☆18Dec 8, 2025Updated 6 months ago
• sile / erl_tokenize

  View on GitHub
  An Erlang source code tokenizer written in Rust.
  ☆12May 21, 2026Updated 3 weeks ago
• GlassProtocol / hyperlink

  View on GitHub
  CREATIVE EXPRESSION THROUGH CONNECTION
  ☆13Dec 19, 2021Updated 4 years ago
• cryptoprimitive / toastycoin-frontier

  View on GitHub
  ☆12Dec 26, 2018Updated 7 years ago
• dataarts / drivechess

  View on GitHub
  Simple Chess Application backed by Google Drive Realtime Drive SDK
  ☆30May 8, 2013Updated 13 years ago