A cross-platform RISC-V interpreter that implements the RV32IMA instruction set.
☆24Aug 23, 2022Updated 3 years ago
Alternatives and similar repositories for FlatRv
Users that are interested in FlatRv are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rust client library for @tailscale.☆11Oct 5, 2022Updated 3 years ago
- Rust client library for Flashbot's mev-share.☆20Apr 19, 2023Updated 3 years ago
- A version of the Lisp programming language for RISC-V based boards.☆31Jan 12, 2025Updated last year
- Copy a floppy/hard drive from one computer to another via a serial null modem connection☆15Sep 16, 2023Updated 2 years ago
- Outbound mail sender with dkim StartTLS☆16Jul 3, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Cheating a little to solve the halting problem at scale☆32Jun 15, 2026Updated last month
- This library contains serveral modules that could help you write CKB contract with Rust.☆28Jun 11, 2026Updated last month
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆41May 29, 2021Updated 5 years ago
- Capsule is an out-of-box development framework for creating smart contract on Nervos' CKB.☆61Nov 13, 2024Updated last year
- Modern C++ Regular Expressions library, wrapping both POSIX and Lua string patterns.☆11May 31, 2015Updated 11 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 9 years ago
- ☆38Apr 14, 2024Updated 2 years ago
- ☆11May 24, 2021Updated 5 years ago
- Iron: selectively turn RISC-V binaries into hardware☆23Jun 8, 2023Updated 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.
- An experimental Go package for dealing with 9P, the Plan 9 file protocol.☆19Feb 13, 2026Updated 5 months ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 8 years ago
- ☆14Mar 2, 2021Updated 5 years ago
- Max4Live + Ableton Live API + JavaScript + Usability = This Thing☆13May 26, 2015Updated 11 years ago
- A toolkit for building multi-result supercompilers☆33Oct 23, 2021Updated 4 years ago
- Then I'll huff and I'll puff and I'll blow your house in☆15Oct 21, 2022Updated 3 years ago
- CoreMark 1.0 ported to WebAssembly☆46Apr 2, 2021Updated 5 years ago
- User roles package for Meteor☆14Jul 18, 2018Updated 8 years ago
- General purpose buffer for use with building JITs☆19Oct 13, 2023Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- openzepplin smart contracts written in rust for arbritum stylus☆13Apr 20, 2024Updated 2 years ago
- GO JIffy-fast RAW-draw☆16Jul 7, 2015Updated 11 years ago
- ☆19Nov 24, 2025Updated 8 months ago
- Rust wrapper for the Airtable API☆13Jul 21, 2019Updated 7 years ago
- Web Assembly low level implementation of pairing friendly curves.☆16Jul 13, 2026Updated last week
- Simple IMAP4 protocol wrapper for lua. Requires luasocket and (if you want to use TLS) luasec.☆17Jul 13, 2017Updated 9 years ago
- DWAVE is a small General MIDI module for the wavetable connector of your old sound card, based on the SAM2695 chip☆20Jul 6, 2026Updated 2 weeks ago
- ☆11Apr 19, 2019Updated 7 years ago
- Mutagen Monitor for Mac☆23Dec 22, 2023Updated 2 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 Kotlin DSL for probabilistic programming.☆13Apr 8, 2022Updated 4 years ago
- Experiment with synthetic domain theory in cubical agda☆15Nov 8, 2022Updated 3 years ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆18Jul 30, 2020Updated 5 years ago
- A toolkit for replaying time series data.☆16Sep 26, 2014Updated 11 years ago
- Materials for the devcon4 workshop☆14Nov 1, 2018Updated 7 years ago
- A PEM Block Reader (PBR) can read multiple PEM blocks within .pem files and output each block in the same format as OpenSSL☆10Sep 28, 2017Updated 8 years ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago