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☆17Feb 22, 2024Updated 2 years ago
- A definitive guide to build Tensorflow with Intel MKL support on Mac☆16Mar 28, 2018Updated 8 years ago
- XMSS[MT] commandline tool☆13Sep 13, 2026Updated last month
- A priliminary backend for Idris that compiles to Clean.☆15Apr 3, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Tool for Motif Deconvolution in large HLA-II ligand datasets without the need of prior alignment.☆15Feb 17, 2025Updated last year
- Optimized tensorflow wheels binaries build for macos☆13Jul 19, 2018Updated 8 years ago
- Rust embedded-hal inter-version compatibility layer☆19May 13, 2026Updated 5 months ago
- WebSocket server implementation of OCaml☆14May 14, 2019Updated 7 years ago
- A full fledged brainfuck compiler☆12Feb 18, 2016Updated 10 years ago
- A Cryptographic Abstraction Layer (CAL) for embedded systems☆19Sep 25, 2026Updated 2 weeks ago
- my music queue, simple and shared music system.☆11Nov 3, 2016Updated 9 years ago
- NewHope key exchange mechanism implementation on Cortex-M series microcontrollers.☆13Aug 4, 2016Updated 10 years ago
- A tool to remove unused code from a Rust project.☆37Oct 28, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- MacOS frontend for SANE☆15Aug 25, 2023Updated 3 years ago
- Templatetag to override blocks in included templates☆12Jun 28, 2020Updated 6 years ago
- Parsing MHC nomenclature in the wild☆21Sep 23, 2026Updated 3 weeks ago
- A console client for mpd written in OCaml☆12Jan 5, 2019Updated 7 years ago
- a cache buster called Buster☆13Nov 29, 2024Updated last year
- Rust implementation for the IEEE 802.15.4 protocol☆22Jun 26, 2025Updated last year
- MATLAB scripts for efficient template attacks☆15Apr 20, 2018Updated 8 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- Verified decision procedures for modal logics in Lean☆13Jun 13, 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.
- IRC bot in Python, based on irc3☆13Oct 7, 2026Updated last week
- Bottom-up memory-safety for assembly using symbolic execution☆23Feb 19, 2026Updated 7 months ago
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 7 years ago
- Fintie Sets in Cubical Agda☆13Aug 30, 2019Updated 7 years ago
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Jun 22, 2026Updated 3 months ago
- library assisting side-channel-analysis attacks, preprocessing and interactive inspection☆20Jan 5, 2019Updated 7 years ago
- ☆11Jul 8, 2020Updated 6 years ago
- Mathematical proofs in c++ by way of the Curry Howard isomorphism.☆14May 18, 2019Updated 7 years ago
- mpd client library implementation in OCaml.☆17Jun 23, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆16Jun 25, 2019Updated 7 years ago
- Fast Bayesian Hidden Markov Model with Wavelet Compression☆17Jan 24, 2020Updated 6 years ago
- SkipTo Landmarks & Headings browser extension☆12Oct 10, 2021Updated 5 years ago
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆17Dec 10, 2019Updated 6 years ago
- A simple photo gallery webapp☆15Jun 1, 2021Updated 5 years ago
- Send stderr to stdout, maintaining order.☆11Dec 14, 2013Updated 12 years ago
- MHC-peptide class II interaction prediction, binding, presentation☆22Mar 16, 2022Updated 4 years ago