The [ARM] Assembler language definition for the latex listings package
☆26Mar 31, 2020Updated 6 years ago
Alternatives and similar repositories for arm-assembler-latex-listings
Users that are interested in arm-assembler-latex-listings are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A package to draw jigsaw pieces with tikz☆14Apr 14, 2026Updated 2 weeks ago
- Public-facing course info for program analysis materials.☆44Dec 4, 2025Updated 4 months ago
- FontForge build script for MinGW-w64 (msys2) Windows☆13Sep 21, 2025Updated 7 months ago
- ☆11Oct 28, 2020Updated 5 years ago
- an attempt to beat the shit out of gnulib☆11Sep 19, 2011Updated 14 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- The MobSTr dataset provides artifacts that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive sys…☆10Mar 18, 2022Updated 4 years ago
- Modern UI-inspired Bootstrap theme☆19Aug 11, 2020Updated 5 years ago
- A benchmark for C program verification☆17Feb 22, 2024Updated 2 years ago
- Coins for Android☆30Apr 20, 2017Updated 9 years ago
- This project has been moved to https://gitlab.com/cloogle/cloogle-web☆18May 30, 2021Updated 4 years ago
- Getting started with Decisions-Disruptions☆11Jan 28, 2020Updated 6 years ago
- Basic LLVM passes☆17Oct 7, 2018Updated 7 years ago
- A markdown conversion of the Adobe Tech notes 5176 and 5177 as a stub for "what the OpenType chapter on the CFF table should look like", …☆18Apr 3, 2018Updated 8 years ago
- Colour Fonts for RoboFont☆17May 5, 2020Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A symbolic execution engine for Python☆44Dec 4, 2012Updated 13 years ago
- This is the repository for the first-order masked Kyber on ARM Cortex-M4☆19Nov 2, 2023Updated 2 years ago
- ☆16Jul 24, 2024Updated last year
- Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from findin…☆15May 30, 2022Updated 3 years ago
- A library for rendering MathML documents☆19Apr 17, 2016Updated 10 years ago
- A font family for testing OpenType implementations.☆13May 30, 2016Updated 9 years ago
- A simple UFO font editor in Rust+GTK. (work in progress)☆12Jan 4, 2018Updated 8 years ago
- View the conference schedule of the Chaos Communcation Camp 2011☆12Jan 2, 2017Updated 9 years ago
- Source Hebrew Sans☆19Oct 28, 2025Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Tools and test code to help understand libunwind☆22Jun 2, 2020Updated 5 years ago
- ☆16Dec 9, 2025Updated 4 months ago
- A python package to automate generating OT features in UFO☆14Jul 23, 2019Updated 6 years ago
- DAVdroid – CalDAV/CardDAV synchronization for Android 4+ devices☆18May 3, 2015Updated 10 years ago
- Robust path ops in Rust☆42Jan 25, 2026Updated 3 months ago
- CHIP-8 interpreter written in Rust☆11May 23, 2020Updated 5 years ago
- gcc plugin to discover optimization passes used during compilation☆20Feb 10, 2021Updated 5 years ago
- soft color scheme for terminals with 256 colors☆17Aug 19, 2014Updated 11 years ago
- ☆13Mar 26, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A sample verifier for a toy language built on top of Boogie☆25Nov 24, 2022Updated 3 years ago
- ☆21Sep 11, 2017Updated 8 years ago
- Gezinti esnasında anlamını bilmediğiniz terimleri öğrenmenizi sağlayan Google Chrome eklentisidir.☆14Sep 3, 2016Updated 9 years ago
- A GCC plugin to dump call graphs for programs being compiled using LTO.☆22Jan 18, 2020Updated 6 years ago
- A standalone library to implement GNU libc's obstack☆30Oct 21, 2023Updated 2 years ago
- ☆29Mar 31, 2026Updated last month
- Firefox webextension for generating commandline downloads on any link☆17Mar 25, 2019Updated 7 years ago