Atmel AVR simulator written in x86 assembly
☆15Nov 29, 2024Updated last year
Alternatives and similar repositories for fastavr
Users that are interested in fastavr are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- bash scripts for the ELO of RU☆11Nov 30, 2022Updated 3 years ago
- A benchmark for C program verification☆18Feb 22, 2024Updated 2 years ago
- A priliminary backend for Idris that compiles to Clean.☆15Apr 3, 2017Updated 9 years ago
- XMSS[MT] commandline tool☆13Sep 13, 2026Updated last month
- A rust crate that provides the usual logger macros and either forwards them to the `log` or `defmt` crate, depending on the enabled featu…☆14Oct 29, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A definitive guide to build Tensorflow with Intel MKL support on Mac☆16Mar 28, 2018Updated 8 years ago
- Tool for Motif Deconvolution in large HLA-II ligand datasets without the need of prior alignment.☆15Feb 17, 2025Updated last year
- A set of tools for Coq written in Rust☆14Dec 4, 2017Updated 8 years ago
- Utility mod for performing Entity ID Suppression.☆12Aug 12, 2026Updated 2 months ago
- Optimized tensorflow wheels binaries build for macos☆13Jul 19, 2018Updated 8 years ago
- WebSocket server implementation of OCaml☆14May 14, 2019Updated 7 years ago
- my music queue, simple and shared music system.☆11Nov 3, 2016Updated 10 years ago
- Rust embedded-hal inter-version compatibility layer☆19May 13, 2026Updated 5 months ago
- Templatetag to override blocks in included templates☆12Jun 28, 2020Updated 6 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A full fledged brainfuck compiler☆12Feb 18, 2016Updated 10 years ago
- A Cryptographic Abstraction Layer (CAL) for embedded systems☆19Sep 25, 2026Updated last month
- Parsing MHC nomenclature in the wild☆21Oct 19, 2026Updated 2 weeks ago
- a cache buster called Buster☆13Nov 29, 2024Updated last year
- NewHope key exchange mechanism implementation on Cortex-M series microcontrollers.☆13Aug 4, 2016Updated 10 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 7 years ago
- MATLAB scripts for efficient template attacks☆15Apr 20, 2018Updated 8 years ago
- IRC bot in Python, based on irc3☆13Oct 27, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Bottom-up memory-safety for assembly using symbolic execution☆23Updated this week
- Qt Side Channel Analysis Tool to handle signal traces and more☆33Aug 10, 2021Updated 5 years ago
- A console client for mpd written in OCaml☆12Jan 5, 2019Updated 7 years ago
- Fast Bayesian Hidden Markov Model with Wavelet Compression☆17Jan 24, 2020Updated 6 years ago
- A tool to remove unused code from a Rust project.☆36Oct 28, 2024Updated 2 years ago
- library assisting side-channel-analysis attacks, preprocessing and interactive inspection☆20Jan 5, 2019Updated 7 years ago
- MacOS frontend for SANE☆15Aug 25, 2023Updated 3 years ago
- systemd-style interface for macOS launchd☆16Jun 20, 2026Updated 4 months ago
- An AVR emulator☆16May 16, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Rust implementation for the IEEE 802.15.4 protocol☆22Jun 26, 2025Updated last year
- mpd client library implementation in OCaml.☆17Jun 23, 2023Updated 3 years ago
- ☆16Jun 25, 2019Updated 7 years ago
- Mathematical proofs in c++ by way of the Curry Howard isomorphism.☆14May 18, 2019Updated 7 years ago
- A simple photo gallery webapp☆15Jun 1, 2021Updated 5 years ago
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- The MonoSAT SMT solver with a CTL model checking theory☆10Oct 21, 2024Updated 2 years ago