Refu language
☆21Jan 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
Sorting:
- ☆11Nov 16, 2021Updated 4 years ago
- A faster Java heap analysis tool☆21Feb 19, 2017Updated 9 years ago
- (Hopefully) a compiler for my first language named "Pie"☆22Feb 7, 2026Updated 3 weeks ago
- A massive multiplayer online take on the arcade classic, written as a part of Clojure Cup 2013☆50May 21, 2014Updated 11 years ago
- A fork of floodyberry's ed25519-donna modified to support the Ristretto prime-order group☆15Jan 15, 2021Updated 5 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Feb 23, 2018Updated 8 years ago
- GitHub app to add Ethereum bounties (Ether or ERC-20) to GitHub issues☆16Nov 18, 2017Updated 8 years ago
- Small powerful micro scripting language <1K SLOC☆62Oct 5, 2025Updated 5 months ago
- My custom synthesizer work☆29Jan 13, 2026Updated last month
- A from-scratch neural network and transformers library, with speeds rivaling PyTorch☆10Mar 16, 2025Updated 11 months ago
- ☆30Mar 19, 2017Updated 8 years ago
- A lighweight and parallel snapshot testing framework in rust☆37Aug 17, 2023Updated 2 years ago
- MCD Command-line interface☆18Oct 3, 2022Updated 3 years ago
- A simple app to Yo! other nodes.☆11Mar 2, 2018Updated 8 years ago
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- ☆15Feb 6, 2026Updated last month
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- https://medium.com/gitcoin/ethdenver-request-for-project-proposals-9ed979dafbbe☆10Feb 1, 2018Updated 8 years ago
- Collection of Pure Data patches collected from all over the world (mostly not mine)☆11Dec 17, 2020Updated 5 years ago
- Translation of query languages to serialized KoralQuery protocol☆13Feb 23, 2026Updated last week
- node☆11Oct 19, 2020Updated 5 years ago
- El Blockchain Community Lab (BCL) es un punto de encuentro para cualquier persona interesada en la tecnología blockchain, sus aplicacione…☆15Sep 17, 2019Updated 6 years ago
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago
- A synthesizer using React, ToneJS, and nexusUI.☆10Jul 18, 2016Updated 9 years ago
- pstore, a high-performance, read-optimized database system.☆26Nov 14, 2013Updated 12 years ago
- iMX233 singleboard PC docs☆12Sep 13, 2021Updated 4 years ago
- Sample Bot Project to trade with Dexalot Smart Contracts☆10Apr 15, 2024Updated last year
- Dicionário Manezes - Português☆11Nov 20, 2017Updated 8 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- Idris Todo web application example☆41Jan 30, 2023Updated 3 years ago
- Resolve the coexistent fault between body-parser and http-proxy.☆10Feb 12, 2022Updated 4 years ago
- Simple examples to demonstrate full-stack Rust audio plugin dev with baseplug and iced_audio☆14Dec 5, 2021Updated 4 years ago
- Run the Docker example voting app on DC/OS☆11May 14, 2016Updated 9 years ago
- An Introduction to the SciPy Ecosystem presentation☆10May 31, 2016Updated 9 years ago
- Yegappan Lakshmanan's scratch.vim plugin☆34Mar 16, 2010Updated 15 years ago
- Unsupervised Grammar Induction with Combinatory Categorial Grammars☆10Jan 28, 2021Updated 5 years ago
- A composite GitHub action that can be used to create or update a GitHub issue/pull request comment.☆10Oct 4, 2025Updated 5 months ago
- Uses Node.js and Leap Motion to control an AR Drone and stream video to the browser.☆62Nov 20, 2013Updated 12 years ago