Haggion / kernelLinks
A kernel for RISCV64 computers written in Ada
☆37Updated last week
Alternatives and similar repositories for kernel
Users that are interested in kernel are comparing it to the libraries listed below
Sorting:
- Mirror of codeberg's repository☆158Updated last week
- DasherA is a Data General DASHER D200/D210 terminal emulator☆38Updated last year
- Operating System development experiment in Ada☆37Updated 4 years ago
- Implementations of the Are-we-fast-yet benchmark suite in Oberon, C++, C, Pascal, Micron and Luon☆66Updated 2 weeks ago
- An Open Source Community site for Ada☆115Updated 2 months ago
- Parallel Specification and Implementation Language☆46Updated last week
- General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64☆83Updated 4 years ago
- GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.☆78Updated last week
- Ada binding to the SFML library☆37Updated 10 months ago
- HAC Ada Compiler - a small, quick Ada compiler fully in Ada☆152Updated 2 weeks ago
- ☆21Updated 3 years ago
- Aflex the Ada fast lexical analyser generator☆18Updated 4 months ago
- A cross-platform version of the ETH Oberon System 3 compatible with the Oberon+ compiler and IDE☆105Updated 3 months ago
- Tiny Lisp Interpreter Written in Ada☆31Updated 8 months ago
- Official repository of the Jas assembler project - An assembler and library for generating code for x86☆48Updated this week
- PDP-11 emulation☆96Updated 5 months ago
- An Ada-oriented GUI☆40Updated 4 months ago
- An attempt at a minimalistic and secure operating system.☆27Updated 4 years ago
- A proof-of-concept smart pointer library in C☆22Updated 6 years ago
- Transputer T805 emulator, assembler, Pascal compiler, operating system, and K&R C compiler.☆77Updated last month
- Ada bindings for the notcurses text user interface library☆13Updated 2 years ago
- The Callisto compiler of the 13th month, and other language extras☆68Updated 2 weeks ago
- The Oberon+ Programming Language Specification☆102Updated 2 years ago
- Zip-Ada: a standalone, portable pure Ada library for .zip archives. Includes LZMA and BZip2 byte stream encoder & decoder pairs.☆32Updated last week
- Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.☆20Updated 2 weeks ago
- Ada 2022 bindings to SDL 2☆126Updated 3 months ago
- An Ada 2012 library for parsing JSON☆45Updated last year
- Tiny visual 8086 emulator based on Blink☆76Updated last year
- gnoga - The GNU Omnificent GUI for Ada☆14Updated last year
- Command Line Interface Components☆13Updated last year