|
|
Lua |
6 |
Monolithic kernel for OpenComputers. |
Jul 10, 2021 |
|
|
C |
48 |
a tiny monolithic kernel |
Sep 06, 2022 |
|
|
Rust |
17 |
a experimental monolithic kernel in rust |
Aug 03, 2022 |
|
|
C |
2 |
Monolithic kernel-based OS targeting x86_64 |
Oct 10, 2023 |
|
|
Ada |
106 |
The Ada Microkernel Project |
Apr 26, 2023 |
|
|
Ada |
46 |
The OpenGL 4.6 Rendering Kernel in Ada 2012 |
Jul 29, 2022 |
|
|
Ada |
4 |
Pretty printing library for Ada |
Mar 14, 2022 |
|
|
Ada |
4 |
Incremental analysis in Ada |
May 15, 2021 |
|
|
Ada |
4 |
BitTorrent protocol implementation in Ada |
Dec 06, 2020 |
|
|
Ada |
4 |
Ada 2012 bindings for libcanberra |
Jul 30, 2022 |
|
|
Ada |
4 |
Demo project using Orka 3D engine |
May 21, 2022 |
|
|
Ada |
4 |
GNAT 2 GOTO Converter |
Aug 31, 2021 |
|
|
Ada |
4 |
None |
Nov 22, 2021 |
|
|
Ada |
4 |
Automated PCAP Report Generator with Threat Intel Integration |
Aug 19, 2022 |
|
|
Ada |
4 |
Ada implementation of D’Hondt electoral result calculator |
Mar 21, 2022 |
|
|
Ada |
4 |
Progress indicators for command line tools in Ada. |
Feb 11, 2022 |
|
|
Ada |
5 |
Coroutines is a library for non-preemptive multitasking in Ada |
May 02, 2022 |
|
|
Ada |
5 |
An Ada 2012 library for document container files |
Jul 30, 2022 |
|
|
Ada |
5 |
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL |
May 13, 2021 |
|
|
Ada |
6 |
Implementation of the Secure Hashing Standard SHA-1 as defined in FIPS PUB 180-1. |
May 24, 2021 |
|
|
Ada |
6 |
Ada 2012 bindings for Wayland |
Aug 13, 2022 |
|
|
Ada |
6 |
Ada/SPARK port of the xoshiro128++ and xoshiro256++ pseudo-random number generators |
Jan 31, 2022 |
|
|
Ada |
6 |
Latin-to-English translation based on William Whitaker's WORDS 1.97FC |
May 07, 2022 |
|
|
Ada |
6 |
Supports building the Ada Semantic Interface Specification library and tools for FSF GCC variants. Tracks … |
Aug 04, 2022 |
|
|
Ada |
6 |
ColdFrame generates Ada framework code and documentation from UML models. |
Feb 24, 2022 |
|
|
Ada |
6 |
None |
Mar 11, 2022 |
|
|
Ada |
6 |
Iterator-based directory walks in Ada |
Jul 30, 2022 |
|
|
Ada |
6 |
Ada Unit Testing Library |
Dec 31, 2021 |
|
|
Ada |
6 |
Just a small fun project to experiment with Ada |
Feb 15, 2021 |
|
|
Ada |
7 |
mirror of https://review.coreboot.org/libhwbase.git |
Jun 13, 2021 |
|
|
Ada |
7 |
Ada binding to Tcl/Tk, based on TASH |
May 01, 2022 |
|
|
Ada |
7 |
An Ada 2012 library to replace names between colons with emojis |
Jul 31, 2022 |
|
|
Ada |
7 |
The Ada Conformity Assessment Test Suite, customised for GCC. |
Oct 23, 2021 |
|
|
Ada |
8 |
An Ada 2012 library for monitoring filesystem events using Linux' inotify API |
Feb 03, 2022 |
|
|
Ada |
8 |
Semantic versioning in Ada |
Oct 26, 2021 |
|
|
Ada |
8 |
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, … |
Aug 15, 2022 |
|
|
Ada |
9 |
JSON Web Token (JWT) implementation in Ada |
Apr 26, 2022 |
|
|
Ada |
9 |
An Ada 2012 emulation of Charles Babbage’s Analytical Engine |
Jul 14, 2022 |
|
|
Ada |
10 |
A demo of best practices for open-source Ada/SPARK development |
Aug 07, 2022 |
|
|
Ada |
10 |
Command Line Interface Components |
Jul 17, 2022 |
|
|
Ada |
11 |
Language Server Protocol for Ada |
Apr 01, 2022 |
|
|
Ada |
13 |
Yet another hypervisor detection tool. Pure Ada 2005, supports Linux and FreeBSD |
Jul 24, 2021 |
|
|
Ada |
14 |
This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so … |
Jul 01, 2022 |
|
|
Ada |
345 |
Context-based code search tool |
Sep 01, 2022 |
|
|
Ada |
2 |
Codage de Huffman en Ada avec Cass |
Jan 05, 2022 |
|
|
Ada |
2 |
bachelor thesis OS project |
Jun 21, 2020 |
|
|
Ada |
2 |
A portable MODBUS-RTU Master made using a STM32F407 and Ada. |
Jul 27, 2022 |
|
|
Ada |
3 |
FEARED: FPGA-based Encryption for At Rest Embedded Data |
Mar 13, 2023 |
|
|
Ada |
5 |
👩🏻🦰 Learn Ada Language. |
Oct 24, 2022 |
|
|
Ada |
4 |
Experiments with user-mode tasking in Ada |
Jan 28, 2023 |