Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Ada
Ada is a structured, statically typed, imperative, and object-oriented high-level programming language. It has built-in language support for design by contract, strong typing, explicit concurrency, tasks, synchronous message passing, and protected objects. Ada improves code safety and maintainability by using the compiler to find errors in favor of runtime errors. Ada is an international technical standard, jointly defined by the International Organization for Standardization (ISO), and the International Electrotechnical Commission (IEC) as ISO/IEC 8652:2012.
- GitHub: https://github.com/topics/ada
- Wikipedia: https://en.wikipedia.org/wiki/Ada_%28programming_language%29
- Related Topics: ada-programs, ada-binding, ada-language, spark-ada, spark, gnat, ada-framework, ada-library, gpr, ada-stuff,
- Aliases: ada-2012, ada2012, ada95,
- Last updated: 2024-10-29 00:00:44 UTC
- JSON Representation
https://github.com/frol/completely-unscientific-benchmarks
Naive performance comparison of a few programming languages (JavaScript, Kotlin, Rust, Swift, Nim, Python, Go, Haskell, D, C++, Java, C#, Object Pascal, Ada, Lua, Ruby)
ada benchmark cpp csharp dlang golang haskell java javascript kotlin lua luajit nim programming-language python ruby rust scoreboard swift
Last synced: 26 Oct 2024
https://github.com/its-pointless/gcc_termux
Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt
ada android command-line ecl fortran gcc gcc-complier gnat julia julialang mongodb ocaml octave opencv pascal rakudo rstats scipy termux vlc
Last synced: 12 Oct 2024
https://github.com/pyjarrett/septum
Context-based code search tool
ada grep grep-like grep-search search-in-text septum text
Last synced: 25 Oct 2024
https://github.com/alire-project/alire
Command-line tool from the Alire project and supporting library
ada ada-2012 package-management package-manager package-manager-tool reproducible-builds
Last synced: 25 Oct 2024
https://github.com/AdaDoom3/AdaDoom3
Id Software's Id-tech-4-BFG in the Ada programming language.
Last synced: 26 Oct 2024
https://github.com/IntersectMBO/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
ada blockchain cardano cryptocurrency
Last synced: 27 Oct 2024
https://github.com/tofgarion/spark-by-example
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
ada formal-methods formal-specification formal-verification
Last synced: 25 Oct 2024
https://github.com/zertovitch/hac
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
ada ada-language ada-library advent-of-code compiler compiler-construction mini-compiler parser semantic-analysis strongly-typed symbol-table virtual-machine
Last synced: 25 Oct 2024
https://github.com/ada-game-framework/sdlada
Ada 2022 bindings to SDL 2
ada ada2012 bindings game game-development gamedev linux macosx portable-library sdl sdl-ttf sdl2 sdl2-image sdl2-library windows
Last synced: 26 Oct 2024
https://github.com/AdaCore/RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
ada binary-parser communication-protocol formal-methods formal-specification formal-verification parser protocol-parser protocol-specification python spark
Last synced: 26 Oct 2024
https://github.com/flyx/openglada
Thick Ada binding for OpenGL and GLFW
ada ada-binding glfw opengl-bindings
Last synced: 24 Oct 2024
https://github.com/stcarrez/ada-awa
Ada Web Application - Framework to build high performance secure web applications
ada database https-server orm rest-framework web-framework web-performance
Last synced: 26 Oct 2024
https://github.com/flyx/OpenGLAda
Thick Ada binding for OpenGL and GLFW
ada ada-binding glfw opengl-bindings
Last synced: 26 Oct 2024
https://github.com/lucretia/bare_bones
Ada Bare Bones OS development tutorial source code
ada bare-bones bare-bones-tutorial bare-metal baremetal osdev port tutorial tutorial-exercises tutorial-sourcecode
Last synced: 07 Nov 2024
https://github.com/Lucretia/bare_bones
Ada Bare Bones OS development tutorial source code
ada bare-bones bare-bones-tutorial bare-metal baremetal osdev port tutorial tutorial-exercises tutorial-sourcecode
Last synced: 25 Oct 2024
https://github.com/docandrew/CuBit
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Last synced: 25 Oct 2024
https://github.com/wookey-project/ewok-kernel
A secure and high performances microkernel for building secure MCU-based IoTs
ada arm armv7m embedded ewok ewok-kernel microcontroller microcontroller-firmware microkernel security spark
Last synced: 25 Oct 2024
https://github.com/stcarrez/ada-util
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
ada beans json logging process serializer streams
Last synced: 25 Oct 2024
https://github.com/proyecto26/cardano-developer
A Cardano Developer Guide
ada cardano cardano-community cardano-dev
Last synced: 08 Nov 2024
https://github.com/OpenAADL/ocarina
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
Last synced: 26 Oct 2024
https://github.com/simonjwright/FreeRTOS-Ada
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
ada cortex gnat risc-v rtos rts
Last synced: 25 Oct 2024
https://github.com/onox/orka
The OpenGL 4.6 Rendering Kernel in Ada 2012
3d-graphics ada azdo egl force-feedback gamedev gamepad gltf graphics kalman ktx ndarray opengl rendering-engine rk4 rumble tensors wayland
Last synced: 26 Oct 2024
https://github.com/joular/powerjoular
PowerJoular allows monitoring power consumption of multiple platforms and processes.
ada energy green joular power powerjoular software
Last synced: 26 Oct 2024
https://github.com/godunko/adawebpack
Ada WASM Runtime and Bindings for Web API
ada ada-runtime ada-wasm-runtime gnat-llvm wasm
Last synced: 25 Oct 2024
https://github.com/i42output/neos
Language agnostic scripting engine with a custom bytecode JIT
ada bytecode cpp forth haskell javascript jit jit-compiler json lua python rjson rust vm
Last synced: 25 Oct 2024
https://github.com/reaster/cardano_wallet_sdk
Targeting Flutter apps, the Cardano Wallet SDK is a high-level Dart library for managing cryptocurrency accounts & executing transactions on the blockchain.
ada blockchain cardano cryptocurrency dart finance flutter wallet
Last synced: 14 Oct 2024
https://github.com/SMerrony/dashera
DasherA is a Data General DASHER D200/D210 terminal emulator
ada dg gtk gtk3 gtkada history serial-communication telnet terminal terminal-emulator
Last synced: 26 Oct 2024
https://github.com/yaml/adayaml
experimental YAML 1.3 implementation in Ada
Last synced: 07 Oct 2024
https://github.com/smerrony/dashera
DasherA is a Data General DASHER D200/D210 terminal emulator
ada dg gtk gtk3 gtkada history serial-communication telnet terminal terminal-emulator
Last synced: 01 Nov 2024
https://github.com/yaml/AdaYaml
experimental YAML 1.3 implementation in Ada
Last synced: 26 Oct 2024
https://github.com/ajxs/cxos
Operating System development experiment in Ada
ada kernel low-level-programming operating-system osdev
Last synced: 25 Oct 2024
https://github.com/damaki/libkeccak
SHA-3 and other Keccak related algorithms in SPARK/Ada.
ada ascon cshake gimli hash-functions kangarootwelve keccak ketje kmac marsupilamifourteen parallelhash sha-3 shake128 shake256 spark-ada sponge-construction tuplehash
Last synced: 26 Oct 2024
https://github.com/mgrojo/ASFML
Ada binding to the SFML library
ada audio binding cross-platform games graphics multimedia opengl sfml
Last synced: 26 Oct 2024
https://github.com/mgrojo/asfml
Ada binding to the SFML library
ada audio binding cross-platform games graphics multimedia opengl sfml
Last synced: 27 Oct 2024
https://github.com/Fabien-Chouteau/Wee-Noise-Maker
Open source pocket synthesizer
ada kicad open-hardware open-source synthesizer wee-noise-maker
Last synced: 26 Oct 2024
https://github.com/Bitrue-exchange/libada-go
golang library for Cardano network, it is used and maintained by Bitrue(Alonzo compatibled)
Last synced: 03 Aug 2024
https://github.com/reznikmm/protobuf
The Google Protocol Buffers implementation in Ada
Last synced: 26 Oct 2024
https://github.com/nateshmbhat/cardano-nft-minter
A script that handles minting cardano native tokens in a simple and interactive way.
Last synced: 27 Oct 2024
https://github.com/brentseidel/ada-lisp
Tiny Lisp Interpreter Written in Ada
ada latex-document lisp lisp-dialect lisp-interpreter
Last synced: 11 Oct 2024
https://github.com/fastrgv/CoTerminalApps
In December of 2022, I split these ascii puzzles & arcade games into 2 separate Apps: a) "SliderPuzzles" & b) "RetroArcade". Please get updates from there.
ada arcade ascii ascii-game collection game linux osx puzzle space-invaders terminal-app windows
Last synced: 25 Oct 2024
https://github.com/csb6/bluebird
A work-in-progess programming language modeled after Ada and C++
ada cpp cpp17 imperative-programming programming-language
Last synced: 06 Nov 2024
https://github.com/zertovitch/lea
LEA is a Lightweight Editor for Ada
ada ada-language auto-complete autocomplete code-completion editor scintilla syntax-highlighting
Last synced: 25 Oct 2024
https://github.com/stcarrez/ada-ado
Ada Database Objects
ada database mysql orm-framework postgresql sqlite
Last synced: 26 Oct 2024
https://github.com/RavSS/HAVK
An attempt at a minimalistic and secure operating system.
ada kernel operating-system osdev security spark-ada
Last synced: 25 Oct 2024
https://github.com/yet-another-static-site-generator/yass
Yet Another Static Site (Generator)
ada markdown static-site-generator yass
Last synced: 26 Oct 2024
https://github.com/zertovitch/gid
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
ada ada-language ada-library bmp bmp-decoder gif gif-decoder image-processing jpeg jpeg-decoder jpg pgm pgm-reader png png-decoder pnm qoi steganography targa tga
Last synced: 26 Oct 2024
https://github.com/samueltardieu/aforth
Embeddable Forth interpreter written in Ada
Last synced: 26 Oct 2024
https://github.com/stcarrez/ada-security
Ada Security - OAuth 2.0 client and server framework to secure web applications
ada authentication jwt oauth oauth2 openid permissions
Last synced: 26 Oct 2024
https://github.com/zertovitch/zip-ada
Zip-Ada: a standalone, portable Ada library for .zip archives. Includes LZMA byte stream encoder & decoder pair.
ada ada-language ada-library bzip2 compression-library deflate deflate-format lzma zip zip-archive
Last synced: 26 Oct 2024
https://github.com/Componolit/gneiss
Framework for platform-independent SPARK components
ada component-based embedded formal-methods formal-verification spark
Last synced: 25 Oct 2024
https://github.com/thindil/hunter
Mirror of Graphical File Manager for Linux
ada file-manager gtkada linux tashy tk
Last synced: 26 Oct 2024
https://github.com/tomekw/simple_blockchain
Simple blockchain in Ada
ada blockchain blockchain-demo blockchain-technology
Last synced: 09 Nov 2024
https://github.com/zertovitch/gwindows
GWindows: GUI framework for MS Windows
ada ada-language ada-library gui-framework windows
Last synced: 25 Oct 2024
https://github.com/Componolit/SXML
Formally verified, bounded-stack XML library
ada formal-methods formal-verification parser spark xml
Last synced: 26 Oct 2024
https://github.com/stcarrez/ada-wiki
Ada Wiki Engine - Wiki parser and renderer with several Wiki syntaxes
ada dotclear html markdown mediawiki wiki-engine
Last synced: 09 Oct 2024
https://github.com/IntersectMBO/cardano-coin-selection
A library of algorithms for coin selection and fee balancing.
ada cardano coin-selection cryptocurrency fee-balancing
Last synced: 27 Oct 2024
https://github.com/frett27/Ada-Synthetizer
Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It use soundio, or alsa or win32 sound subsystem
ada alsa arm library linux midi player sound soundio synthetizer wav win32mm
Last synced: 26 Oct 2024
https://github.com/stcarrez/dynamo
Dynamo Ada Application Code Generator
ada code-generation web-application
Last synced: 26 Oct 2024
https://github.com/HonkiTonk/Honki-Tonks-Zivilisationen
Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
4x-strategy-game ada ada-2022 asfml civilization csfml game-2d game-development indiegame learning learning-by-doing roundbased sfml sfml-game strategy
Last synced: 25 Oct 2024
https://github.com/frett27/ada-synthetizer
Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It use soundio, or alsa or win32 sound subsystem
ada alsa arm library linux midi player sound soundio synthetizer wav win32mm
Last synced: 08 Nov 2024
https://github.com/Componolit/jwx
JSON/JWK/JWS/JWT/Base64 library in SPARK
ada base64 jose json json-web-signature jwk jws jwt jwt-authentication jwt-token spark
Last synced: 26 Oct 2024
https://github.com/smithros/kpi-stuff
Some of my laboratories work in KPI and stuff connected with it.
ada android asm bigdata computer-engineering cpp cs hadoop java kpi kpi-ua masm32 ntuu-kpi parrallel-computing python realtime-system security system-programming vhdl
Last synced: 23 Oct 2024
https://github.com/zertovitch/ada-pdf-writer
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
ada ada-language ada-library pdf pdf-generation pdf-writer pdfwriter
Last synced: 26 Oct 2024
https://github.com/Componolit/Cappulada
[DEPRECATED] Generate Ada bindings to C++ code
ada binding-generator bindings cpp
Last synced: 26 Oct 2024
https://github.com/dmbaturin/hvinfo
Yet another hypervisor detection tool. Pure Ada 2005, supports Linux and FreeBSD
ada debian freebsd hypervisor-detection linux virtualization
Last synced: 12 Oct 2024
https://github.com/zertovitch/globe-3d
GLOBE_3D: a real-time 3D Engine written in Ada
3d-engine ada ada-language binary-space-partition collision-detection doom3 opengl portal-rendering rendering-3d-graphics texture-mapping vrml wavefront
Last synced: 25 Oct 2024
https://github.com/fastrgv/AdaVenture
AdaVenture is a kid-friendly retro point&click adventure game with mazes, beasts, bats, bugs & snakes. Windows, OSX & most Linux distros. Hear ancient Persian melodies played by Korla Pandit.
ada adventure dragon game games labyrinth linux windows
Last synced: 25 Oct 2024
https://github.com/zertovitch/ada-bar-codes
Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
ada ada-language ada-library barcode barcode-generator datamatrix datamatrix-generator ean13 qr qr-code qr-code-generator qr-codes qr-generator qrcode qrcode-generator upc-a upca
Last synced: 26 Oct 2024
https://github.com/zertovitch/cbsg
The Corporate Bullshit Generator
ada ada-language fun text-generation
Last synced: 26 Oct 2024
https://github.com/zertovitch/mathpaqs
Mathpaqs: a collection of mathematical packages in pure Ada
ada ada-language ada-library formula-parser math-library matrix random runge-kutta
Last synced: 26 Oct 2024
https://github.com/zertovitch/pascal-to-ada
Pascal to Ada translator
ada ada-language pascal translator
Last synced: 26 Oct 2024
https://github.com/zertovitch/azip
AZip: a free, portable Zip Archive Manager
ada ada-language archive archive-manager zip
Last synced: 26 Oct 2024
https://github.com/simonjwright/analytical-engine
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
Last synced: 26 Oct 2024
https://github.com/onox/inotify-ada
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
ada filemonitor filesystem inotify linux
Last synced: 26 Oct 2024
https://github.com/simonjwright/coldframe
ColdFrame generates Ada framework code and documentation from UML models.
Last synced: 26 Oct 2024
https://github.com/HeisenbugLtd/si_units
Utility library to pretty print physical values in proper metric units
ada ada-language ada2012 convenience digits distance formatting-output instantiation physics pressure scale si-units subprograms utility-library
Last synced: 26 Oct 2024
https://github.com/stcarrez/ada-servlet
Ada Servlet - Web Servlet Library following JSR 154, JSR 315
ada servlet servlet-filter web
Last synced: 26 Oct 2024
https://github.com/zertovitch/wasabee
Wasabee: a Web browser with safety focus. Project is in early development stage.
Last synced: 26 Oct 2024
https://github.com/zertovitch/excel-writer
Excel Writer: a standalone, portable Ada package for producing Excel spreadsheets
ada ada-language ada-library excel excel-writer excelwriter spreadsheet
Last synced: 26 Oct 2024
https://github.com/thindil/Ada-Bundle
Maintained complete Ada-Mode for Vim/NeoVim
Last synced: 25 Oct 2024
https://github.com/jklmnn/STOTP
SPARK TOTP library
2fa 2fa-security ada base32 formal-verification hotp spark totp
Last synced: 26 Oct 2024
https://github.com/frett27/Ada-Midi
Implementation of Midi / MidiFile reading and writing
Last synced: 26 Oct 2024
https://github.com/frett27/ada-midi
Implementation of Midi / MidiFile reading and writing
Last synced: 15 Oct 2024
https://github.com/lucretia/jni
Ada bindings to the Java 11 Native Interface API.
ada ada2012 binding-for-java bindings gnat java java-native-interface java11 jni
Last synced: 13 Oct 2024
https://github.com/flyx/parsertools
tools for writing lexers / parsers in Ada
Last synced: 24 Oct 2024
https://github.com/zertovitch/ini-files
Ini file manager: a standalone, portable Ada package for configuration files
ada ada-language ada-library cfg-files config configuration-file configuration-files ini-parser
Last synced: 26 Oct 2024
https://github.com/stcarrez/ada-lzma
Ada binding for liblzma compression library
Last synced: 26 Oct 2024
https://github.com/flyx/ParserTools
tools for writing lexers / parsers in Ada
Last synced: 26 Oct 2024