Ada/SPARK
430 items from ohenley/awesome-ada ★872
-
mine-detector github.com
A mine-finding game that never requires guessing.
-
world-cup-sokerban github.com
This is a soccer-themed, 3D sokoban puzzle game that runs on Windows, Mac OS-X and GNU Linux.
-
si github.com
Checked and unchecked SI units.
-
ada-lisp-embedded github.com
Embeddable Lisp interpreter.
-
j2ada github.com
Translator for a Java valid source code in Ada source code.
-
blackvideo-mini-player github.com
A stand-alone lightweight auxiliary video player support for BlackVideo.
-
ada-3ds github.com
A simple 3DS Max model renderer.
-
wposix github.com
Ada Windows POSIX binding.
-
base58-ada github.com
Base58 encoding and decoding in Ada.
-
ascon-spark github.com
Ada/SPARK implementation of the Ascon Authenticated Encryption with Additional Data Algorithm.
-
coreland-openal-ada github.com
Ada binding to OpenAL.
-
adawebui github.com
GUI based on adawebpack.
-
ada-ga github.com
Genetic Algorithm Implementation for Ada.
-
tiled-code-gen github.com
Code generator for Tiled the map editor.
-
oto github.com
Ada binding to OpenAL which tries to mimic original API while using Ada types.
-
ada-fuzzy github.com
A fuzzy inference system library for Ada.
-
tp7-ada-gtkada github.com
Implementation of Turbo Pascal 7.0 units with gtkada.
-
xml-ez-out github.com
Library for emitting XML from Ada programs.
-
ada-win32 github.com
Ada bindings for the Microsoft Win32 Api.
-
Straylight github.com
A simple monolithic RISC-V operating system developed in Ada.
-
tictactoe github.com
A tictactoe game written and proven in SPARK/Ada.
-
AdaTracker github.com
A MOD, XM, S3M, and IT music tracker player written in Ada, using SDL2 for audio output and UI rendering.
-
tashy2 github.com
Derivate of Tashy that aims to be more idiomatic and uses a more permisive license.
-
ada-libsecret github.com
Ada Binding for the libsecret library.
-
scripted-testing github.com
Supports functional testing using Tcl scripts.
-
asis2xml github.com
Converts Ada sources' ASIS representation to XML, so as to make it easier to develop reporting and transformational tools using (for example) XSLT.
-
weechat-emoji github.com
A WeeChat plug-in written in Ada 2012 that displays emoji.
-
opus-ada github.com
Ada 2012 bindings for the Opus audio codec.
-
mandelbrot-ascii github.com
Mandelbrot renderer in "ASCII" (unicode actually, but text nonetheless).
-
hungarian github.com
Ada binding to the fast Stachniss' Hungarian solver.
-
cstrings github.com
Convenience subprograms to interact with C strings.
-
doppler-effect-sample2 github.com
Moving airplane causes Stereo Sound Doppler effect (gtkada).
-
parallel-sim github.com
Distributed Simulation of Transport Networks.
-
micro-tem-pi github.com
Raspberry Pi using a BBC Micro:Bit as temperature sensor.
-
reqrep-task-pools github.com
Task pool system for jobs.
-
hungarian-algorithm github.com
Hungarian Algorithm implementation in Ada.
-
lunar-lander-rotation github.com
Program that interacts with the AdaFruit BNO055 breakout board in order to send orientation data to a host computer.
-
apq-base github.com
APQ is a database interface library written in Ada95.
-
asn1scc github.com
An open source ASN.1 generator to Ada type declarations and encoders/decoders.
-
macos-sdks-vs-gcc github.com
Provides GCC 'specs' files to cope with SDK policy changes.
-
ada-nanovg github.com
Ada bindings to NanoVG.
-
ssprep github.com
An extensible template engine akin to jinja but using template-parser and intended for command line usage.
-
weechat-canberra github.com
A WeeChat plug-in written in Ada 2012 that plays sounds using Canberra.
-
sancta github.com
Multi-robot task allocation library.
-
dl-ada github.com
Minimal binding to libdl.
-
ajunitgen github.com
Generator of JUnit-compatible XML reports in Ada.
-
xxhash-ada github.com
Extremely fast non-cryptographic Hash algorithm, xxhash is working at speeds close to RAM limits.
-
ada-vscode github.com
Basic syntax highlighting for Ada and GPR.
-
blake2s github.com
SPARK83 implementation of the BLAKE2s hash function.
-
sl3p github.com
Simple Layer 3 Protocol.
- next page of items loading…
