WestfW / structured_gasView external linksLinks
"Structured programming" macros for Gnu Assembler (gas)
☆14Jan 14, 2025Updated last year
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.☆12Jan 15, 2026Updated 3 weeks ago
- ☆14Jul 27, 2024Updated last year
- Code Nimble is a light code editor dedicated for competitive programming.☆16Jan 9, 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
- PS5 NOR Modifier (Python Version) #FuckBWE☆11May 14, 2025Updated 8 months ago
- ☆16Updated this week
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- NRG core files for Arduino IDE☆10Sep 12, 2018Updated 7 years ago
- ☆10Jan 16, 2025Updated last year
- Python and Arduino code for communicating with XBee 802.15.4 radios☆12Jun 20, 2017Updated 8 years ago
- ☆10Jan 3, 2025Updated last year
- Minimal React Native app featuring native passkeys and integration with Turnkey☆10Nov 1, 2024Updated last year
- This is an application that proofs static libraries load faster than dynamic libraries on iOS☆11Sep 13, 2017Updated 8 years ago
- ☆15Feb 5, 2026Updated last week
- ☆10Apr 8, 2020Updated 5 years ago
- ☆10Dec 8, 2023Updated 2 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
- 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
- Intel Atom D2550 Embedded Motherboard☆13Dec 26, 2018Updated 7 years ago
- ☆11Jun 23, 2023Updated 2 years ago
- Awesome Firebird lists☆20Nov 14, 2025Updated 2 months ago
- Phase Vocoder and Wavelet Transform Implementation for Pitch Shifting a sound signal☆11Jul 27, 2020Updated 5 years ago
- Transcription features for NeoVim☆12Feb 7, 2019Updated 7 years ago
- A Lean implementation of Interaction Trees☆13Jan 13, 2025Updated last year
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last week
- Export files of iTunes Backup☆11Jul 16, 2022Updated 3 years ago
- Rubiks cube based passkeys☆18Dec 25, 2025Updated last month
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated last year
- J2ME VM in JavaScript☆10Sep 23, 2015Updated 10 years ago
- ☆12Mar 30, 2025Updated 10 months ago
- A versatile Prometheus exporter and indexer, with an optional light weight dashboard☆10Oct 9, 2024Updated last year
- A Gem of a Tool-Holder for keeping a variety of EDC gear disassembly tools at hand☆11Jul 24, 2022Updated 3 years ago
- DualOptiboot which allows wireless programming capabilities for the MySensors Micro.☆11Oct 10, 2022Updated 3 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- Código de @Cadibot en Telegram☆10Jan 11, 2026Updated last month
- Python library for performing firmware configuration via out of band management controllers☆10Jun 22, 2015Updated 10 years ago
- Programming an arduino robot in Rust☆10Mar 16, 2021Updated 4 years ago