Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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-12-22 00:00:53 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: 22 Dec 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: 21 Dec 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/Emurgo/yoroi-frontend

Yoroi Wallet - Cardano ADA Wallet - Your gateway to the financial world (extension frontend)

ada cardano chrome extension firefox react wallet yoroi

Last synced: 08 Nov 2024

https://github.com/tsoding/eepers

Simple Turn-based Game

ada game raylib turn-based

Last synced: 18 Nov 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/intersectmbo/cardano-ledger

The ledger implementation and specifications of the Cardano blockchain.

ada blockchain cardano cryptocurrency

Last synced: 22 Dec 2024

https://github.com/AdaDoom3/AdaDoom3

Id Software's Id-tech-4-BFG in the Ada programming language.

ada game-engine vulkan

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: 26 Oct 2024

https://github.com/flyx/openglada

Thick Ada binding for OpenGL and GLFW

ada ada-binding glfw opengl-bindings

Last synced: 12 Dec 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: 15 Nov 2024

https://github.com/thindil/steamsky

Mirror of a roguelike in sky with a steampunk setting

ada game nim roguelike tk

Last synced: 27 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: 25 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/docandrew/CuBit

General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64

ada os spark 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: 15 Nov 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

aadl ada

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/saasify-sh/ta11y

Modern web accessibility audits. 💪

a11y a11y-testing accessibility accessibility-audits accessibility-automation accessibility-testing ada compliance html-validation saas saas-api wcag wcag2 web

Last synced: 13 Nov 2024

https://github.com/onox/json-ada

An Ada 2012 library for parsing JSON

ada json json-ada

Last synced: 26 Oct 2024

https://github.com/jeremygrosser/rp2040_hal

Ada drivers for the Raspberry Pi RP2040 SoC

ada cortex-m0plus driver hal raspberry-pi rp2040

Last synced: 17 Nov 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/yaml/AdaYaml

experimental YAML 1.3 implementation in Ada

ada configuration yaml

Last synced: 26 Oct 2024

https://github.com/yaml/adayaml

experimental YAML 1.3 implementation in Ada

ada configuration yaml

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/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/ajxs/cxos

Operating System development experiment in Ada

ada kernel low-level-programming operating-system osdev

Last synced: 25 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/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/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/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/jeremygrosser/pico_examples

Ada examples for the Raspberry Pi Pico

ada cortex-m gnat pico raspberry-pi rp2040

Last synced: 17 Nov 2024

https://github.com/Bitrue-exchange/libada-go

golang library for Cardano network, it is used and maintained by Bitrue(Alonzo compatibled)

ada cardano golang library

Last synced: 17 Nov 2024

https://github.com/gabriele-galeotti/SweetAda

Ada-language framework

ada ada-language arm avr embedded embedded-system gnat-ada m68k microblaze mips neorv32 nios2 openrisc powerpc risc-v s390 sh4 sparc x86 x86-64

Last synced: 26 Oct 2024

https://github.com/reznikmm/protobuf

The Google Protocol Buffers implementation in Ada

ada compiler protobuf

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.

ada blockchain cardano nft

Last synced: 27 Oct 2024

https://github.com/stcarrez/sql-benchmark

Tool to make SQL benchmark on different drivers, languages and databases

ada java jdbc mysql postgresql python sql sqlite

Last synced: 15 Nov 2024

https://github.com/stcarrez/swagger-ada

Ada support for OpenAPI code generator

ada api client rest server swagger

Last synced: 15 Nov 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/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/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: 15 Nov 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/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/samueltardieu/aforth

Embeddable Forth interpreter written in Ada

ada forth interpreter

Last synced: 01 Dec 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/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/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/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: 15 Nov 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/thindil/hunter

Mirror of Graphical File Manager for Linux

ada file-manager gtkada linux tashy tk

Last synced: 26 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/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/intersectmbo/cardano-coin-selection

A library of algorithms for coin selection and fee balancing.

ada cardano coin-selection cryptocurrency fee-balancing

Last synced: 12 Nov 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/jeremygrosser/pico_bsp

Ada BSP for the Raspberry Pi Pico

ada bsp pico raspberry-pi rp2040

Last synced: 17 Nov 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: 15 Nov 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/flyx/OpenCLAda

An Ada binding for the OpenCL host API

ada ada-binding cl-gl opencl

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/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