Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for ada
ada
x
319 search results found
Ada Motorcontrol
⭐
8
Brushless motor control software written in Ada
Analytical Engine
⭐
8
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
Basalt
⭐
8
Collection of formally verified building blocks
Memcache Ada
⭐
8
Experimental memcached client implemented in Ada
Vt100
⭐
8
Minimal Ada VT100 API library. [when one doesn't need full ncurses...]
Parse_args
⭐
8
An Ada 2012 package to parse command line arguments and options
Adavulkan
⭐
8
Ada 2012 binding to Vulkan
Ada Enet
⭐
8
Ada Embedded Network Stack
Wayland_ada_binding
⭐
8
Wayland Client Ada binding
Ada Auth
⭐
8
A mirror of Ada Reference Manual sources
Semantic_versioning
⭐
8
Semantic versioning in Ada
Agc
⭐
8
Garbage collection for Ada
Adacore_jetson
⭐
8
NVIDIA Jetson Nano LED Linux driver experiment in Ada
Dockerada
⭐
8
Various Docker images related to Ada programming language
Git.polytest Master
⭐
8
надежда и опора для магистров Политеха
Ada Fuse
⭐
8
Ada-Bindings for FUSE
Adaphysics2d
⭐
8
A 2D physics engine for Ada
Ews
⭐
8
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.
Dw1000
⭐
8
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
Lace
⭐
7
A set of Ada components to allow 3D simulations, games and GUI's in Ada.
Lvgl Ada
⭐
7
An Ada binding for the lvgl embedded GUI library: https://github.com/littlevgl/lvgl
Notcursesada
⭐
7
Ada bindings for the notcurses text user interface library
Geoenergymath
⭐
7
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)
Alice
⭐
7
Adventures for Learning and Inspiring Coding Excellence
Libsodium Ada
⭐
7
libsodium for Ada - A secure cryptographic library
Polyorb Hi Ada
⭐
7
PolyORB-HI/Ada runtime for Ocarina
Ghdl
⭐
7
Mirror of GHDL SVN with fixes and GCC 4.6.0 support
Bbs Bbb Ada
⭐
7
A collection of Ada sources for working with Linux based embedded computers, such as the BeagleBone Black or Raspberry Pi
Tashy
⭐
7
Ada binding to Tcl/Tk, based on TASH
Coldframe
⭐
7
ColdFrame generates Ada framework code and documentation from UML models.
Adaino
⭐
7
AdaIno
Ada Irc
⭐
7
An Ada library for creating IRC bots
Stratox
⭐
7
Flight stack for an unmanned fixed-wing weather glider.
Rp
⭐
7
Ada on RP2040 proof of concept
Ada Bfd
⭐
7
Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.
Aunit
⭐
7
Xcb_library_thin_ada_binding
⭐
7
Spark_unbound
⭐
7
Unbound data structures in Ada-Spark.
Cbsg
⭐
7
The Corporate Bullshit Generator
Emojis
⭐
7
An Ada 2012 library to replace names between colons with emojis
Florist
⭐
6
POSIX Ada Bindings.
Markdown
⭐
6
Markdown parser
Rxada
⭐
6
An Ada 2012 implementation of the Rx methodology
Curses
⭐
6
Advanced UNIX Terminal UI Ada Binding Package
Adamant_example
⭐
6
Example repository demonstrating the Adamant software framework
Xoshiro
⭐
6
Ada/SPARK port of the xoshiro128++ and xoshiro256++ pseudo-random number generators
Msoc Hls
⭐
6
Multimedia SoC Design with Specialization on Application Acceleration with High-Level-Synthesis [2020 Fall]
Ada Bundle
⭐
6
Maintained complete Ada-Mode for Vim/NeoVim
Lisp
⭐
6
LISP 1.5 implementation using Ada 2012
Trendy_test
⭐
6
Ada Unit Testing Library
Hello World
⭐
6
"Hello World" Program in all known Computer languages
Moth
⭐
6
Minimalist cooperative operating system supporting multiple tasks with MMU protection
Dir_iterators
⭐
6
Iterator-based directory walks in Ada
Wayland Ada
⭐
6
Ada 2012 bindings for Wayland
Cargame Ada
⭐
6
An experimental 3D engine in want of a game. Written in Ada!
Yaml Ada
⭐
6
libyaml interface library for gcc-Ada (GNAT)
Ada
⭐
6
My Ada contributions. Needs Makefiles.
Ada El
⭐
6
Ada EL - Expression Language Library (JSR245)
Bsdbuild
⭐
6
Cross-platform make library and configure script generator (stable)
Helena
⭐
6
the helena Petri net tool repository
Yeison
⭐
6
A json-like data structure library in Ada
2022 Fall Ntu
⭐
6
Sidetree Cardano
⭐
6
Implementation of Sidetree protocol on top of Cardano blockchain and IPFS
Excel Writer
⭐
6
Excel Writer: a standalone, portable Ada package for producing Excel spreadsheets
Axmpp
⭐
6
Erigone
⭐
6
Erigone Model Checker
Ada Servlet
⭐
6
Ada Servlet - Web Servlet Library following JSR 154, JSR 315
Ada Generators
⭐
6
Experimental support for coroutines-based generators in Ada
Sim Cpu
⭐
6
CPU Simulations written in Ada
Call Flow Control
⭐
6
Call-information flow server.
Nbada
⭐
6
NBAda - An Ada library of lock-free data structures and algorithms.
Spark_norx
⭐
6
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
Go Spark
⭐
6
Go+Ada SPARK Example
Ada Ipstack
⭐
6
Ada ipstack embedded implementation for the STM32 devices with Ethernet peripheral.
Bitcoin_script
⭐
6
An ada bitcoin script interpreter
Continuous Verification
⭐
6
SPARK formal verification automated with Travis CI
Ada Winrt
⭐
6
Ada bindings for the Microsft WinRT Api
Mat
⭐
6
Memory Analysis Tool
Keypadder
⭐
6
Keypadder is a programmable virtual keypad you can access via a mobile phone or tablet
Archicheck
⭐
5
Archicheck is a simple tool to describe and enforce architecture/design decision
Parsertools
⭐
5
tools for writing lexers / parsers in Ada
Ironsides
⭐
5
Fork of the SPARK-based DNS server
Tamp2
⭐
5
The Ada Monolithic kernel Project
Meta Ada
⭐
5
Meta layer for Yocto which adds support for Ada.
Ada Sodoku
⭐
5
Small Library for Sodoku grid solving / finding
Ada Midi
⭐
5
Implementation of Midi / MidiFile reading and writing
Boehmgc Ada
⭐
5
Boehm GC interface library for gcc-Ada (GNAT)
Tux
⭐
5
SPARK crypto library for constrained embedded systems
Templates Parser
⭐
5
AWS templates engine.
Dcf Ada
⭐
5
An Ada 2012 library for document container files
Wann
⭐
5
Neural Networks the Ada way
Gnoga
⭐
5
gnoga - The GNU Omnificent GUI for Ada
Tresses
⭐
5
Synth library inspired by Mutable Instruments braids
Bingada
⭐
5
Bingo application in GTKAda
Recordflux Specifications
⭐
5
Specifications for RecordFlux
Parasail_git
⭐
5
Open source files from the Parasail 8 release
Rpb_ada
⭐
5
raspberry ada library
Labs Material
⭐
5
Support Libraries for AdaCore University Labs
Obdh_labs
⭐
5
Code for the MUSE/OBDH course laboratory
Gnat2015
⭐
5
gnat2015 for TI Hercules RM46 and RM57
201-300 of 319 search results
< Previous
Next >
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.