Ada/SPARK
430 items from ohenley/awesome-ada ★872
-
blake2s github.com
SPARK83 implementation of the BLAKE2s hash function.
-
sl3p github.com
Simple Layer 3 Protocol.
-
ada-bin2asc github.com
Various binary-to-ASCII codecs such as Base64.
-
sip-hash github.com
A pure Ada implementation of the SipHash PRF.
-
free-type-ada github.com
FreeType binding for Ada 2005.
-
winforms2gtk github.com
Helper conversor of Visual Basic Microsoft Windows Forms applications to Gtk and Ada.
-
portable-openal-sound github.com
A linux-sound-playing package for Ada apps that can asynchronously start and stop music loops, as well as initiate transient sounds.
-
cmake-ada-cho3 github.com
CMake language support for Ada, fork of plplot's cross-platform support code.
-
smart-pointers github.com
A package providing a reference-counted access type Smart_Pointer.
-
ada-lsp-client github.com
Prototype implementation of LSP client - Visual Studio 2017.
-
adacore-video-tutorials youtube.com
AdaCore University Video Tutorials.
-
charles web.archive.org
Ada 95 container library, precursor to Ada 2005+ standard containers.
-
comp-lang-ada usenet.ada-lang.io
Ada Usenet newsgroup/forum.
-
tutorials-point-ada-compiler tutorialspoint.com
Online compiler built on the CodingGround engine.
-
telegram-ada t.me
Ada group at Telegram.
-
stack-overflow-ada-tag stackoverflow.com
Ada at Stack Overflow.
-
sparforte sparforte.com
The SPARforte programming language is an Ada-like scripting language, previously known as business user shell (bush). Can be used as interactive UNIX shell replacement.
-
zanyblue sourceforge.net
An Ada package allowing the externalization of application messages into a properties file.
-
tomi-4-ada sourceforge.net
Wrappers for various client/server and pub/sub messaging protocols (AMQP, STOMP and ZeroMQ), focusing exclusively on text message communications.
-
ada-kalinda-os sourceforge.net
Ada KALINDA is a sort of Mac Plus like OS written in Ada95.
-
plplot sourceforge.net
Cross-platform, scientific graphics plotting library, including an Ada binding.
-
paraffin sourceforge.net
A suite of Ada 2012 generics to facilitate iterative and recursive parallelism for multicore systems.
-
max-home-automation sourceforge.net
gtkada application to manage ELV/eQ-3 MAX! cubes for home automation.
-
lovelace-os sourceforge.net
Lovelace is an effort to write a Unix like operating system using the Ada 2012 language.
-
gnoga sourceforge.net
The GNU Omnificent GUI for Ada.
-
fuzzyml sourceforge.net
Fuzzy machine learning framework.
-
dequesterity sourceforge.net
Deque/buffer generics that consist of building blocks that may be combined in various ways to create higher abstraction buffers.
-
deepend sourceforge.net
Storage pool with subpool capabilities for Ada 2012, Ada 2005, and Ada 95.
-
canta sourceforge.net
A tool to help to sing in tune.
-
booch95 sourceforge.net
The Ada 95 Booch components are a port of Grady Booch's C++ components.
-
avr-ada sourceforge.net
GNAT for 8-bit AVR microcontrollers.
-
acm-sig-ada sigada.org
The Special Interest Group on Ada.
-
trash-finder rrsoftware.com
Trash Finder is a mail filter that operates as a plugin for your mail server, providing filtering on dozens of criteria along with management of known good mail.
-
janus-ada rrsoftware.com
Compiler supporting all the major features of the Ada 83, Ada 95, Ada 2005 and Ada 2012 versions of the language.
-
claw rrsoftware.com
A High Level, Portable, Ada 95 Binding for Microsoft Windows.
-
ada-at-rosetta-code rosettacode.org
A collection of programming tasks and their sample solutions in Ada.
-
subreddit-spark reddit.com
Spark at Reddit.
-
subreddit-ada reddit.com
Ada at Reddit.
-
vtk-ada r3fowwcolhrzycn2yzlzzw.on.drv.tw
Ada-2012 port to VTK 8.1 (Visualization Toolkit).
-
qt-ada r3fowwcolhrzycn2yzlzzw.on.drv.tw
Ada-2012 port to Qt 6 framework.
-
object-ada ptc.com
PTC ObjectAda is an extensive family of native and cross development tools and runtime environments.
-
apex-ada ptc.com
PTC ApexAda is one of the industry's most popular development environments for Ada and mixed Ada/C/C++ applications.
-
vulkada phasercat.com
A complete Vulkan 1.1 thick binding for Ada 2012.
-
adaogg phasercat.com
Complete thin interface layer that brings the Ogg, Vorbis, and Theora libraries to the Ada 2012 programming language.
-
ada-95-tutorial perso.telecom-paristech.fr
A book going from beginner to advanced concepts in Ada 95, complete with source files.
-
ada-crash-course pchapin.org
Ada 2012 crash course under 50 pages from Vermont Technical College.
-
pasta pasta.phyrama.com
A game of the "match-3" genre, implemented in gnoga.
-
para-sail parasail-lang.org
ParaSail is a highly parallel experimental language, similar to Go and Erlang. Originaly owned by SofCheck (now AdaCore), it is a test project to try new ideas. Expandable pointers is a sample feature that is about to be introduced to SPARK and Ada. There are in fact 4…
-
gnu-emacs-ada-mode nongnu.org
Gnu Emacs major-mode for editing Ada sources.
-
muen muen.codelabs.ch
An x86/64 Separation Kernel for High Assurance.
- next page of items loading…
