"Structured programming" macros for Gnu Assembler (gas)
☆16Feb 23, 2026Updated last week
Alternatives and similar repositories for structured_gas
Users that are interested in structured_gas are comparing it to the libraries listed below
Sorting:
- A compiler for the Algol W programming language.☆15Jul 13, 2025Updated 7 months ago
- A checkers library with modern web GUI, Supprots multiple variants of game.☆13Jan 15, 2026Updated last month
- ☆14Jul 27, 2024Updated last year
- Code Nimble is a light code editor dedicated for competitive programming.☆16Jan 9, 2025Updated last year
- Python and Arduino code for communicating with XBee 802.15.4 radios☆12Jun 20, 2017Updated 8 years ago
- NRG core files for Arduino IDE☆10Sep 12, 2018Updated 7 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- ☆10Jan 3, 2025Updated last year
- ☆11Jun 23, 2023Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Intel Atom D2550 Embedded Motherboard☆13Dec 26, 2018Updated 7 years ago
- Minimal React Native app featuring native passkeys and integration with Turnkey☆10Nov 1, 2024Updated last year
- ☆11Dec 8, 2023Updated 2 years ago
- PS5 NOR Modifier (Python Version) #FuckBWE☆11May 14, 2025Updated 9 months ago
- ☆10Apr 8, 2020Updated 5 years ago
- This is an application that proofs static libraries load faster than dynamic libraries on iOS☆11Sep 13, 2017Updated 8 years ago
- Awesome Firebird lists☆20Nov 14, 2025Updated 3 months ago
- Phase Vocoder and Wavelet Transform Implementation for Pitch Shifting a sound signal☆11Jul 27, 2020Updated 5 years ago
- ☆16Feb 26, 2026Updated last week
- These are solutions of problems mentioned on https://cses.fi/problemset/ in C++. It is a finnish competitive programming site.☆10Jan 12, 2021Updated 5 years ago
- electroncash.org☆10Updated this week
- ☆10Jan 16, 2025Updated last year
- MoonReader is a ebook reader based on cloud like Weipan (sina), Weiyun (Tencent), and I will add iCloud, Google drive or dropbox as soon.…☆10Apr 5, 2014Updated 11 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆13May 30, 2023Updated 2 years ago
- ☆12Feb 15, 2023Updated 3 years ago
- Ada Server Faces - Web Server Faces JSR 252, JSR 314 and JSR 344☆14Nov 10, 2025Updated 3 months ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- Programming an arduino robot in Rust☆10Mar 16, 2021Updated 4 years ago
- ☆17Feb 10, 2026Updated 3 weeks ago
- ☆12Jun 27, 2025Updated 8 months ago
- Transcription features for NeoVim☆12Feb 7, 2019Updated 7 years ago
- Opensource toolchain for TI MSP430☆14Jun 19, 2022Updated 3 years ago
- Export files of iTunes Backup☆11Jul 16, 2022Updated 3 years ago
- Push Notification Plugin for iOS and Android☆16Aug 26, 2015Updated 10 years ago
- Open source library for SPI/I2C control via FTDI chips.☆13Dec 16, 2013Updated 12 years ago
- ☆12Mar 30, 2025Updated 11 months ago
- ☆13Feb 21, 2025Updated last year