Haggion / kernelLinks
A kernel for RISCV64 computers written in Ada
☆39Updated 3 months ago
Alternatives and similar repositories for kernel
Users that are interested in kernel are comparing it to the libraries listed below
Sorting:
- Implementations of the Are-we-fast-yet benchmark suite in Oberon, C++, C, Pascal, Micron and Luon☆67Updated last week
- DasherA is a Data General DASHER D200/D210 terminal emulator☆37Updated last year
- HAC Ada Compiler - a small, quick Ada compiler fully in Ada☆157Updated last week
- Tiny Lisp Interpreter Written in Ada☆31Updated last month
- A Lisp compiler to RISC-V machine code written in Lisp☆32Updated last year
- Source for the Multics operating system☆129Updated 4 years ago
- The Oberon+ Programming Language Specification☆105Updated 2 years ago
- Ada binding to the SFML library☆40Updated last month
- General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64☆84Updated 4 years ago
- PDP-11 emulation☆98Updated 3 weeks ago
- Operating System development experiment in Ada☆37Updated 5 years ago
- gnoga - The GNU Omnificent GUI for Ada☆15Updated last year
- Ada support for OpenAPI code generator☆30Updated 2 months ago
- Official repository of the Jas assembler project - An assembler and library for generating code for x86☆48Updated this week
- ☆22Updated 2 months ago
- An Open Source Community site for Ada☆119Updated last week
- Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.☆49Updated 10 months ago
- A GameBoy emulation library in Ada☆28Updated 5 years ago
- Ada-language framework☆48Updated this week
- Parallel Specification and Implementation Language☆49Updated 3 weeks ago
- Whitesmiths C compiler. One of the earliest commercial C compilers available.☆161Updated 3 years ago
- An Ada-oriented GUI☆43Updated 7 months ago
- Aflex the Ada fast lexical analyser generator☆18Updated 7 months ago
- Command-line tool from the Alire project and supporting library☆366Updated last week
- This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation…☆78Updated 10 months ago
- A cross-platform version of the ETH Oberon System 3 compatible with the Oberon+ compiler and IDE☆107Updated 6 months ago
- amoeba operating system☆28Updated 10 years ago
- Turbo9 - Pipelined 6809 Microprocessor IP☆159Updated 2 months ago
- Active Oberon System (AOS), aka A2, and Bluebottle OS☆90Updated last year
- Parser and code browser for the ActiveOberon language (original version from 2004)☆20Updated 2 months ago