A kernel for RISCV64 computers written in Ada
☆41Oct 29, 2025Updated 5 months ago
Alternatives and similar repositories for kernel
Users that are interested in kernel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Command Line Interface Components☆14Feb 17, 2024Updated 2 years ago
- Learn Ada by programming Minecraft robots!☆19Jan 13, 2026Updated 3 months ago
- JSON/JWK/JWS/JWT/Base64 library in SPARK☆20Oct 12, 2020Updated 5 years ago
- A Money library for Ada☆24Aug 23, 2023Updated 2 years ago
- GNAT Components Collection – Bindings to C libraries☆16Feb 11, 2026Updated 2 months ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- A "mini" implementation of vim :3☆16Dec 27, 2022Updated 3 years ago
- Unbound data structures in Ada-Spark.☆13Feb 6, 2022Updated 4 years ago
- A demo of best practices for open-source Ada/SPARK development☆42Oct 26, 2024Updated last year
- ☆17Jan 26, 2026Updated 2 months ago
- ☆15Feb 4, 2026Updated 2 months ago
- Framework for platform-independent SPARK components☆24Aug 28, 2020Updated 5 years ago
- A software bridge between certain popular Daikin™ HVAC units and MQTT.☆14May 6, 2022Updated 3 years ago
- Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents☆24Feb 16, 2026Updated last month
- An Ada binding for Lua.☆45Dec 11, 2023Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Github timeline in Common Lisp☆15Aug 2, 2021Updated 4 years ago
- Ada Server Faces - Web Server Faces JSR 252, JSR 314 and JSR 344☆14Apr 4, 2026Updated last week
- TOML v0.4.0 parser and encoder☆12Oct 23, 2019Updated 6 years ago
- The AURA Reference Implementation☆24Jul 16, 2025Updated 8 months ago
- TOML parser for Ada☆36Jul 16, 2025Updated 8 months ago
- Ada major mode using tree-sitter for Emacs☆26Dec 7, 2025Updated 4 months ago
- GNAT Components Collection – Core packages☆52Apr 1, 2026Updated last week
- ☆22Nov 18, 2025Updated 4 months ago
- Scripts for building GCC on macOS☆29Jan 31, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Common Lisp library for the Stripe API.☆11Feb 24, 2025Updated last year
- Simple to use cross-platform BDD driver for black box testing☆18Apr 1, 2026Updated last week
- A thin wrapper to post HTML emails through mailgun.com☆12Mar 23, 2024Updated 2 years ago
- Ada Keystore - protect your sensitive data with secure storage☆36Mar 6, 2026Updated last month
- Emacs Speedrun Timer☆13Jan 1, 2026Updated 3 months ago
- Erlang application for limiting requests.☆17Jun 3, 2012Updated 13 years ago
- Collection of NE2000+ software obtained from various sources☆12Jan 2, 2020Updated 6 years ago
- ☆34Aug 2, 2022Updated 3 years ago
- Assembly Graphics Demo for MS-DOS using TASM☆14May 4, 2015Updated 10 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- ☆42Mar 9, 2026Updated last month
- Aflex the Ada fast lexical analyser generator☆20Jun 22, 2025Updated 9 months ago
- configuration browser for the sd2iec floppy drive emulator for C64☆11Dec 14, 2025Updated 3 months ago
- Unix-inspired shell and RAM filesystem for the Commodore 64 (6502 assembly) / AI-assisted development☆24Updated this week
- Pascal to Ada translator☆18Oct 20, 2024Updated last year
- EBAZ4205 Board FPGA project☆14Oct 20, 2023Updated 2 years ago
- FPGA-based ROM emulator dramatically speeds software development time on computers with ROM-based storage.☆16Dec 3, 2020Updated 5 years ago