Open Source Libs
Find Open Source Packages
Open Source Libraries
👉
Ada
85 Open Source Ada Software Projects
Free and open source ada code projects including engines, APIs, generators, and tools.
Completely Unscientific Benchmarks
477 ⭐
Naive performance comparison of a few programming languages (JavaScript, Kotlin, Rust, Swift, Nim, Python, Go, Haskell, D, C++, Java, C#, Object Pascal, Ada, Lua, Ruby)
Awesome Ada
364 ⭐
A curated list of awesome resources related to the Ada and SPARK programming language
Gcc_termux
333 ⭐
Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt
Adadoom3
224 ⭐
Id Software's Id-tech-4-BFG in the Ada programming language.
Libagar
258 ⭐
Cross-Platform GUI Toolkit (stable)
Spark By Example
125 ⭐
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
Yoroi Frontend
281 ⭐
Yoroi Wallet - Cardano ADA Wallet - Your gateway to the financial world (extension frontend)
Alire
138 ⭐
Command-line tool from the Alire project and supporting library
Steamsky
73 ⭐
Mirror of roguelike in sky with a steampunk setting
Openglada
77 ⭐
Thick Ada binding for OpenGL and GLFW
Bare_bones
70 ⭐
Ada Bare Bones OS development tutorial source code
Sdlada
82 ⭐
Ada 2012 bindings to SDL 2
Samuell Awesome Ada
60 ⭐
Awesome resources and other links related to the Ada programming language
Ewok Kernel
64 ⭐
A secure and high performances microkernel for building secure MCU-based IoTs
Cardano Ledger
54 ⭐
A re-implementation of the Cardano ledger layer, replacing the Byron release
Ada Awa
70 ⭐
Ada Web Application - Framework to build high performance secure web applications
Cubit
65 ⭐
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Recordflux
73 ⭐
Formal message specification and generation of verifiable binary parsers and message generators
Cardano Ledger Specs
144 ⭐
The ledger implementation and specifications of the Cardano blockchain.
Openaadl Ocarina
45 ⭐
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
Jollheef Donate
35 ⭐
Cryptocurrency donation daemon
Cortex Gnat Rts
44 ⭐
This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit
Ada Util
53 ⭐
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
Orka
41 ⭐
The OpenGL 4.6 Rendering Kernel in Ada 2012
Neos
30 ⭐
Language agnostic scripting engine with a custom bytecode JIT
Cxos
31 ⭐
Operating System development experiment in Ada
Adayaml
29 ⭐
experimental YAML 1.3 implementation in Ada
Cardano Shell
28 ⭐
Node shell, a thin layer for running the node and it's modules.
Damaki Libkeccak
22 ⭐
SHA-3 and other Keccak related algorithms in SPARK/Ada.
Adawebpack
26 ⭐
Ada WASM Runtime and Bindings for Web API
Tomekw Simple_blockchain
19 ⭐
Simple blockchain in Ada
Hac
56 ⭐
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
Ta11y
28 ⭐
Modern web accessibility audits. 💪
JSON Ada
26 ⭐
An Ada 2012 library for parsing JSON
Thindil Hunter
20 ⭐
Mirror of Graphical File Manager for Linux
Ada Security
16 ⭐
Ada Security - OAuth 2.0 client and server framework to secure web applications
Openclada
15 ⭐
An Ada binding for the OpenCL host API
Ada Ado
19 ⭐
Ada Database Objects
Jwx
16 ⭐
JSON/JWK/JWS/JWT/Base64 library in SPARK
Ada Vscode
13 ⭐
Ada language support for VS Code
Gneiss
21 ⭐
Framework for platform-independent SPARK components
Aforth
16 ⭐
Embeddable Forth interpreter written in Ada
Ada Wiki
17 ⭐
Ada Wiki Engine - Wiki parser and renderer with several Wiki syntaxes
Jupyter Notebook On Servers
26 ⭐
ever wondered how to run jupyter notebook on servers like ada?
Libgade
13 ⭐
A GameBoy emulation library in Ada
Sxml
19 ⭐
Formally verified, bounded-stack XML library
Adagate
16 ⭐
AdaGate is a kid-friendly 3D dungeon escape game within a Stargate fantasy setting for Windows, OS-X, & most Linux distros. A tribute to Narbacular Drop with mind bending spacial interconnections.
Hvinfo
13 ⭐
Yet another hypervisor detection tool. Pure Ada 2005, supports Linux and FreeBSD
Cardano Coin Selection
17 ⭐
A library of algorithms for coin selection and fee balancing.
Ada Synthetizer
13 ⭐
Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It use soundio, or alsa or win32 sound subsystem
Zertovitch Gid
13 ⭐
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
Spat
13 ⭐
SPARK Proof Analysis Tool
Adaroombot
10 ⭐
Simple serial control of iRobot Create 2 Roomba vacuum cleaner from Raspberry Pi.
Yet Another Static Site Generator Yass
17 ⭐
Mirror of Yet Another Static Site (Generator)
Sdl2 Examples
177 ⭐
Examples for getting started with SDL2, for over 12 different programming languages
Cardano Developer
45 ⭐
A Cardano Developer Guide
Rot13
24 ⭐
This is a collection of ROT13 encoding programms written in different languages. Just for fun.
Csb6 Bluebird
20 ⭐
A work-in-progess programming language modeled after Ada and C++
Cardano Py
17 ⭐
Python3 lib and cli for operating a Cardano Passive Node and using the API's. (PRE-ALPHA)
Vim Ada
19 ⭐
Ready-to-deploy plugins and configuration which change Vim/NeoVim into (mostly Ada) IDE
Wee Noise Maker
17 ⭐
Open source pocket synthesizer
Havk
19 ⭐
An attempt at a minimalistic and secure operating system.
Cardano Go
15 ⭐
Go module for the Cardano Blockchain
Libada Go
19 ⭐
golang library for Cardano network, it is used and maintained by Bitrue(Alonzo compatibled)
Cappulada
14 ⭐
[DEPRECATED] Generate Ada bindings to C++ code
Programming With Ada
12 ⭐
A guide for learning about the Ada Programming Language.
Globe 3D
12 ⭐
GLOBE_3D: a real-time 3D Engine written in Ada
Swagger Ada
16 ⭐
Ada support for Swagger codegen
Zertovitch Lea
11 ⭐
LEA is a Lightweight Editor for Ada
Stcarrez Dynamo
11 ⭐
Dynamo Ada Application Code Generator
Adventofada
11 ⭐
AdventOfCode solution written in Ada programming language
Sql Benchmark
23 ⭐
Tool to make SQL benchmark on different drivers, languages and databases
Ada Asf
11 ⭐
Ada Server Faces - Web Server Faces JSR 252, JSR 314 and JSR 344
Master
13 ⭐
This is an Open-Source, community-driven project for the creation of a documentation hub for Raspberry Pi and ARM Cardano Stake Pool Operators.
Kpi Stuff
15 ⭐
Some of my laboratories work in KPI and stuff connected with it.
Reznikmm Protobuf
11 ⭐
The Google Protocol Buffers implementation in Ada
Ada Pdf Writer
12 ⭐
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
Cardano_wallet_sdk
16 ⭐
Targeting Flutter apps, the Cardano Wallet SDK is a high-level Dart library for managing cryptocurrency accounts & executing transactions on the blockchain.
Coterminalapps
19 ⭐
Retro ASCII Puzzles plus SpaceInvaders, Pacman & Frogger arcade games that run WITH SOUND in a terminal on any platform !!
Cardano Nft Minter
20 ⭐
A script that handles minting cardano native tokens in a simple and interactive way.
Ada Bar Codes
10 ⭐
Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
Zip Ada
10 ⭐
Zip-Ada: a standalone, portable Ada library for .zip archives. Includes LZMA byte stream encoder & decoder pair.
Gcc Toolchain Builder
10 ⭐
Script collection to build ready to use GCC 10.3.0 cross and/or native toolchains: C and C++ for all, (Fortran, ADA, D and GO for native compiler only). Cross targets: LM32, AVR, Motorola 68000 (m68k), (ARM in develop yet)
Sweetada
13 ⭐
Ada-language framework
Sparforte
43 ⭐
Shell, template engine, scripting language mission-critical, scalable projects.