Arm assembly Language Server. This is a mirror repository.
☆42Dec 18, 2025Updated 10 months ago
Alternatives and similar repositories for armls
Users that are interested in armls 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 pretty-printing library for Rust with a focus on speed and compactness.☆10Feb 26, 2026Updated 8 months ago
- Formally Verified X.509 Certificate Validation☆18Nov 19, 2025Updated 11 months ago
- Canonical upstream for https://pypi.org/project/kconfiglib/ (replaces inactive https://github.com/ulfalizer/Kconfiglib)☆37Mar 24, 2026Updated 7 months ago
- Implementations of do255e and do255s in C and assembly☆26May 3, 2021Updated 5 years ago
- Partial evaluator for Arm's Architecture Specification Language (ASL)☆21Jun 12, 2026Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆21Jan 21, 2026Updated 9 months ago
- nixpkgs-python is automatically (via pypi2nix) managed collection of nix+python expressions☆18Jan 29, 2019Updated 7 years ago
- SEGA Genesis/Megadrive core, running on a Altera/Terasic DE1 board.☆10Jul 15, 2021Updated 5 years ago
- Bitstream Embedded RAM Transfusion☆11Aug 4, 2021Updated 5 years ago
- 魔改麦乐鸡薯条对酱机，做个业余段收信机。Everything you need to modify the McDonald's toy walkie-talkie into a ham radio.☆10May 28, 2024Updated 2 years ago
- Function secret sharing (FSS) primitives including distributed point/comparison function (DPF/DCF)☆34Updated this week
- AOSC OS APT topic manager☆10Sep 17, 2026Updated last month
- Zynq 7z010 dev/main board based on components from Antminer S9 control board☆17Jan 26, 2026Updated 9 months ago
- Python extension for generating profiling data and stack samples for Windows Performance Analyzer☆11Aug 24, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆21Jul 24, 2026Updated 3 months ago
- Easily mock up your C/C++ programs into platform-independent, self-contained executable files. No more GLIBC version pains.☆18Nov 2, 2025Updated 11 months ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆28Aug 14, 2024Updated 2 years ago
- ☆11Aug 26, 2017Updated 9 years ago
- Zynq PR Management☆13Apr 20, 2016Updated 10 years ago
- Convert various benchmarking formats to benchfmt☆13Jan 31, 2025Updated last year
- Porting SMBUS/PMBUS Stack Middleware for STM32F407 MCU☆12Jul 5, 2018Updated 8 years ago
- ☆14Oct 8, 2021Updated 5 years ago
- civilization evolution, a free empire building game☆11Nov 4, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A small (~1000LoC) embeddable LISP interpreter☆13Feb 28, 2025Updated last year
- Unity Based Menu Maker for Android, PC Games!☆14Aug 11, 2018Updated 8 years ago
- ☆11Oct 31, 2023Updated 2 years ago
- ☆17Jun 12, 2024Updated 2 years ago
- jOS UEFI bootable 64 bit kernel☆13Sep 19, 2022Updated 4 years ago
- ☆24Jan 6, 2023Updated 3 years ago
- Decentralized application built on the TON blockchain for managing DAOs via governance tokens (jettons). Implemented in Tact smart contra…☆12Jul 23, 2025Updated last year
- Unofficial builds of popular MiSTer cores built using Nearest Neighbor scaling for HDMI.☆15Apr 4, 2022Updated 4 years ago
- Easy SMT solver interaction☆37Feb 3, 2026Updated 8 months ago
- 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 simple example of using Tile38 to track the ISS and send notifications when it's overhead.☆10Sep 4, 2018Updated 8 years ago
- SDKs and integrations for ReadMe's Metrics platform☆13Updated this week
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic☆12Dec 18, 2023Updated 2 years ago
- A microcode-feedback-enhaced post-silicon x86 CPU fuzzer☆18May 15, 2026Updated 5 months ago
- An AArch64 hobbyist OS for the Raspberry Pi 3 B+☆15Jan 28, 2022Updated 4 years ago
- POLYVAL per RFC 8452☆10Aug 5, 2023Updated 3 years ago
- (Work in progress) High-assurance FrodoKEM-640-SHAKE through Jasmin and EasyCrypt.☆14Jan 28, 2022Updated 4 years ago