Programming
Software development: programming languages, coding, libraries and frameworks, software engineering and architecture, source control, developer tools, databases, and infrastructure.
-
adaogg phasercat.com
Complete thin interface layer that brings the Ogg, Vorbis, and Theora libraries to the Ada 2012 programming language.
-
adasearch mgrojo.github.io
Custom search engines for finding anything related to the Ada and SPARK programming languages, without interference from other homonymous topics.
-
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.
-
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.
-
jdoodle-ada-compiler jdoodle.com
Online compiler that provides multiple versions of GNAT to test with.
-
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.
-
compiler-explorer godbolt.org
Run GNAT FSF compilers interactively from your web browser and interact with the assembly.
-
flyology-allocators github.com
Caller-owned buddy, best-fit, TLSF, and slab/span allocation algorithms with no hosted operating system dependency.
-
fsf-gnat github.com
Free Software Foundation compiler for the Ada programming language which forms part of the GNU Compiler Collection. It supports all versions of the language, i.e. Ada 2022, Ada 2012, Ada 2005, Ada 95 and Ada 83.
-
greenhills-ada ghs.com
Green Hills Software offers the industry's first, fully validated family of Ada Cross Compilers for real-time targets.
-
ada-wikibook en.wikibooks.org
Ada Programming book at Wikibooks.
-
simple-games drive.google.com
Learning Ada 2012 by writing simple games.
-
simple-components dmitry-kazakov.de
ASN.1, MQTT client and server/broker implementation, B-trees, Multiple connection TCP servers, Chebyshev series, Mutexes, Cryptography, Objects and handles to, Doubly-linked webs and lists, ODBC bindings, Blackboards (lock-free), OpenSSL bindings, ELV/eQ-3 MAX! client…
-
pcsc-ada codelabs.ch
PCSC/Ada provides a thick Ada binding to PC/SC-middleware. The library allows programs written in Ada to communicate with smart cards using the SCard API.
-
cuda-ada codelabs.ch
CUDA/Ada is an Ada binding to NVIDIA's CUDA parallel computing platform and programming model.
-
anet codelabs.ch
Networking library for the Ada programming language.
-
ahven ahven.stronglytyped.org
A simple unit test library and framework for the Ada programming. language. It is loosely modelled after JUnit and some ideas from AUnit.
-
ada-craft adaic.org
Ada 95: The Craft of Object-Oriented Programming.
-
ada-resource-association adaic.org
Since 1990 the Ada Resource Association's principal mission has been “To ensure continued success of Ada users and promote Ada use in the software industry”.
-
ada-information-clearinghouse adaic.org
News and resources for the Ada programming language.
-
ada-safe-secure adacore.com
Safe and Secure Software. An invitation to Ada 2012.
-
ada-planet ada-planet.blogspot.com
News Aggregator from the Ada programming language world (v3) (Ada-Planet v2 feed via Matrix).
-
ada-lang-io ada-lang.io
A community site for Ada.
-
-
language-codes shinmera.github.io
-
good documentation sharplispers.github.io
-
introductory blog post scottlburson2.blogspot.com
-
-
linear-programming neil-lindquist.github.io
-
-
CL-JavaScript marijnhaverbeke.nl
-
Section on Web Development in The Common Lisp Cookbook lispcookbook.github.io
-
lisp-stat's Docker image lisp-stat.dev
-
Programming Algorithms in Lisp link.springer.com
-
-
-
docker-lisp-gamedev gitlab.com
-
abcl-memory-compiler gitlab.com
-
Pretty printing tree data structures in Common Lisp gist.github.com
-
Codewars docs.codewars.com
-
cl-docker-images common-lisp.net
-
git-api codeberg.org
-
cl-git cl-git.russellsim.org
-
Moonshine IDE moonshine-ide.com
Moonshine is a free and open source middleweight IDE built with ActionScript 3 for ActionScript 3, Apache Flex®, Apache FlexJS® and Feathers development with Cloud and Desktop support.
-
AS3eval eval.hurlant.com
Packages the Tamarin ESC compiler to work within Flash Player. (alternate).
-
Visual Studio Code as3mxml.com
An AS3 & MXML language extension for Visual Studio Code. Runs on Windows, macOS, and Linux.
-
/r/cmake on Reddit reddit.com
- next page of items loading…
