Programming Languages
22,646 items in 77 lists
-
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.
-
adasearch mgrojo.github.io
Custom search engines for finding anything related to the Ada and SPARK programming languages, without interference from other homonymous topics.
-
marte-os marte.unican.es
MaRTE OS is a Hard Real-Time Operating System for embedded applications that follows the Minimal Real-Time POSIX.13 subset. It provides an easy to use and controlled environment to develop Multi-Thread Real-Time applications.
-
ada-visual marketplace.visualstudio.com
Ada language integration for Visual Studio 2017.
-
adacore-ada marketplace.visualstudio.com
Language Support for Ada. It includes Language Server for Ada.
-
ada-magic mapusoft.com
SofCheck AdaMagic is ACATS validated and certified Ada compiler targeting C and/or C++ (4 command line switches for fine tuning). ObjectAda and several other commercial compilers share engine with AdaMagic. MapuSoft distributes AdaMagic as integral component of AppCOE.
-
m2os m2os.unican.es
RTOS with simple tasking support for small microcontrollers.
-
ada-cpp-java learn.adacore.com
Ada for the C++ or Java Developer.
-
learn learn.adacore.com
Interactive learning platform designed to teach the Ada and SPARK programming languages.
-
fltk-ada jedbarber.id.au
Ada-2012 binding to FLTK (Fast Light Toolkit).
-
jdoodle-ada-compiler jdoodle.com
Online compiler that provides multiple versions of GNAT to test with.
-
ironsides ironsides.martincarlisle.com
Authoritative DNS server verified by SPARK/Ada.
-
ironclad ironclad-os.org
A kernel for several architectures striving for POSIX compatibility, used on several distributions like Gloire.
-
ncurses-ada95 invisible-island.net
Ada95 bindings for ncurses.
-
fmt inspirel.com
Formal Methods Toolkit is a set of extension packages for Mathematica, supporting software. engineering activities related to modeling, verification and Ada code generation.
-
scala huygens-fokker.org
A powerful software tool for experimentation with musical tunings, such as just intonation scales, equal and historical temperaments, microtonal and macrotonal scales, and non-Western scales.
-
adabrowse home.datacomm.ch
HTML generator for Ada95 library unit specs.
-
hacker-news-ada hn.algolia.com
Ada at Hacker News.
-
compiler-explorer godbolt.org
Run GNAT FSF compilers interactively from your web browser and interact with the assembly.
-
gitter-ada gitter.im
Ada channel at Gitter.
-
resource-embedder gitlab.com
Advanced Resource Embedder to embed files in binaries by producing C, Ada or Go source files.
-
porion gitlab.com
Continuous integration server and agent that helps automate the building, testing and deployment.
-
ada-libmagic gitlab.com
Magic Number Recognition Library Ada binding (libmagic (3)).
- next page of items loading…
