Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for ada
ada
x
319 search results found
Awesome Ada
⭐
543
A curated list of awesome resources related to the Ada and SPARK programming language
Completely Unscientific Benchmarks
⭐
395
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)
Septum
⭐
363
Context-based code search tool
Yoroi Frontend
⭐
326
Yoroi Wallet - Cardano ADA Wallet - Your gateway to the financial world (extension frontend)
Gcc_termux
⭐
294
Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt
Adadoom3
⭐
243
Id Software's Id-tech-4-BFG in the Ada programming language.
Synth
⭐
242
Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
Cardano Ledger
⭐
241
The ledger implementation and specifications of the Cardano blockchain.
Alire
⭐
239
Command-line tool from the Alire project and supporting library
Whitakers Words
⭐
227
William Whitaker's WORDS, a Latin dictionary
Ada_drivers_library
⭐
218
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Ada_language_server
⭐
212
Server implementing the Microsoft Language Protocol for Ada and SPARK
Gnat Llvm
⭐
163
LLVM based GNAT compiler
Libadalang
⭐
137
Ada semantic analysis library.
Aws
⭐
117
AWS is a complete framework to develop Web based applications in Ada.
Spark By Example
⭐
108
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
Tamp
⭐
102
The Ada Microkernel Project
Sdlada
⭐
100
Ada 2012 bindings to SDL 2
Recordflux
⭐
100
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Sparknacl
⭐
97
SPARK 2014 re-implementation of the TweetNaCl crypto library
Steamsky
⭐
90
Mirror of a roguelike in sky with a steampunk setting
Ada Awa
⭐
89
Ada Web Application - Framework to build high performance secure web applications
Learn
⭐
85
Sources for learn.adacore.com
Openglada
⭐
81
Thick Ada binding for OpenGL and GLFW
Gtkada
⭐
81
Ada bindings for the GTK+ graphical library.
Ada Crypto Library
⭐
80
The libadacrypt-dev is a crypto library for Ada with a nice API. It is written for the i386 and x86_64 hardware architecture and supports AES, Twofish, 3DES, Serpent SHA-1/256/384/512, DSA, OAEP-RSA, HMAC, CMAC, SIV, OCB, Nonces, Elliptic Curves. etc. It also contains regression tests consisting of over 400 tests. Dependencies: make and gnat-4.9.
Muen
⭐
73
Official mirror of the Muen Separation Kernel repository
Ada Util
⭐
63
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
Gprbuild
⭐
62
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Cubit
⭐
60
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Awesome Ada
⭐
60
Awesome resources and other links related to the Ada programming language
Ewok Kernel
⭐
59
A secure and high performances microkernel for building secure MCU-based IoTs
Bare_bones
⭐
58
Ada Bare Bones OS development tutorial source code
Bb Runtimes
⭐
57
Source repository for the GNAT Bare Metal BSPs
Cardano Ledger Byron
⭐
53
A re-implementation of the Cardano ledger layer, replacing the Byron release
Phcpack
⭐
53
The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
Cortex Gnat Rts
⭐
52
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 (v1)
Acnc
⭐
52
A G-code parser and CNC controller (in Ada)
Svd2ada
⭐
51
An Ada binding generator from SVD descriptions for bare board ARM devices.
Orka
⭐
50
The OpenGL 4.6 Rendering Kernel in Ada 2012
Sparforte
⭐
49
Bourne shell, template engine, scripting language reliable, scalable projects. Based a ISO standard proven effective for large, mission-critical projects, SparForte is designed for fast development while, at the same time, providing easier designing, maintenance and bug removal. About 130.000 lines of code.
Sarge
⭐
49
Simple command line argument parser for C++ and Ada.
Raytracer
⭐
48
Performance comparison of various compilers
Vss
⭐
48
High level string and text processing library
Ocarina
⭐
47
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
Gnatcoll Core
⭐
43
GNAT Components Collection – Core packages
Cardano Developer
⭐
43
A Cardano Developer Guide
Cubedos
⭐
41
A flight software framework in SPARK/Ada
Adawebpack
⭐
37
Ada WASM Runtime and Bindings for Web API
Neos
⭐
36
Language agnostic scripting engine with a custom bytecode JIT
Powerjoular
⭐
36
PowerJoular allows monitoring power consumption of multiple platforms and processes.
Cardano Go
⭐
36
Go module for the Cardano Blockchain
Cardano_wallet_sdk
⭐
34
Targeting Flutter apps, the Cardano Wallet SDK is a high-level Dart library for managing cryptocurrency accounts & executing transactions on the blockchain.
Dashera
⭐
33
DasherA is a Data General DASHER D200/D210 terminal emulator
Ada_gui
⭐
33
An Ada-oriented GUI
Pla Util
⭐
32
A power line adapter utility for Linux
Byron
⭐
32
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
Libkeccak
⭐
31
SHA-3 and other Keccak related algorithms in SPARK/Ada.
Adacad
⭐
31
AdaCAD is a free/open-source parametric design tool creating and arranging woven structures with a draft. While useful for all kinds of looms, it has been developed in close connection with complex weavers as well as issues for integrating functional components into textile structures
Drake
⭐
31
Drake: A Runtime Library for gcc-Ada
Words
⭐
31
A Latin-English Dictionary Program
Ada Runtime
⭐
31
Ada Keystore
⭐
30
Ada Keystore - protect your sensitive data with secure storage
Gnatcoverage
⭐
29
GNATcoverage: Coverage Analysis Tool
Rp2040_hal
⭐
29
Ada drivers for the Raspberry Pi RP2040 SoC
Sweetada
⭐
28
Ada-language framework
Coterminalapps
⭐
27
In December of 2022, I split these ascii puzzles & arcade games into 2 separate Apps: a) "SliderPuzzles" & b) "RetroArcade".
Ta11y
⭐
27
Modern web accessibility audits. 💪
Matreshka
⭐
26
Matreshka is Ada framework to develop information systems
Adayaml
⭐
26
experimental YAML 1.3 implementation in Ada
Json Ada
⭐
26
An Ada 2012 library for parsing JSON
Asfml
⭐
25
Ada binding to the SFML library
Startup Gen
⭐
25
A startup code generator for embedded projects
Protobuf
⭐
25
The Google Protocol Buffers implementation in Ada
Pragmarc
⭐
25
The PragmAda Reusable Components
Vaniton
⭐
25
Vanity address generator for The Open Network blockchain wallets
Ada Lisp
⭐
25
Tiny Lisp Interpreter Written in Ada
Rot13
⭐
25
This is a collection of ROT13 encoding programms written in different languages. Just for fun.
Ada Traits Containers
⭐
25
Generic Ada Library for Algorithms and Containers
Jupyter Notebook On Servers
⭐
24
ever wondered how to run jupyter notebook on servers like ada?
Ada Toml
⭐
24
TOML parser for Ada
Cxos
⭐
23
Operating System development experiment in Ada
Vim Ada
⭐
23
Ready-to-deploy plugins and configuration which change Vim/NeoVim into (mostly Ada) IDE
Eagle Lander
⭐
23
Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)
M 1
⭐
23
An OpenSource Boundary Scan Test System (JTAG / IEEE1149.x)
Cardano Shell
⭐
22
Node shell, a thin layer for running the node and it's modules.
Renaissance Ada
⭐
22
Tooling for analysis and manipulation of Ada software
Swagger Ada
⭐
22
Ada support for OpenAPI code generator
Ada Ado
⭐
22
Ada Database Objects
Math_packages
⭐
22
Collection of basic math routines in Ada
Libsparkcrypto
⭐
22
A cryptographic library in SPARK 2014
Hunter
⭐
21
Mirror of Graphical File Manager for Linux
Stablematch
⭐
20
Simulation of the matching algorithm that pairs medical school graduates and residency programs
Thumper
⭐
20
A secure timestamp client/server
Polyorb
⭐
20
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
Xmlada
⭐
20
The XML/Ada toolkit.
Training_material
⭐
20
Ml4accel Dataset
⭐
20
Dataset for ML-guided Accelerator Design
Bluebird
⭐
20
A work-in-progess programming language modeled after Ada and C++
Paas_v1.0
⭐
20
PAAS: A System Level Simulator for Heterogeneous (CPU-FPGA) Computing Systems
1-100 of 319 search results
Next >
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.