ada

There are 78 repositories under ada topic.

ohenley / awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
ada ada-binding ada-framework ada-language ada-library ada-programs awesome awesome-list gnat spark spark-ada
701
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)
benchmark cpp rust java javascript swift nim python kotlin dlang csharp haskell golang ada lua luajit programming-language scoreboard ruby
Language:C++ 553
its-pointless / gcc_termux
Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt
android gcc-complier gcc fortran ada pascal scipy ecl gnat octave opencv ocaml rakudo rstats mongodb vlc command-line termux julialang julia
Language:C 484
tsoding / eepers
Simple Turn-based Game
ada game raylib turn-based
Language:Ada 411
pyjarrett / septum
Context-based code search tool
septum text search-in-text grep grep-like grep-search ada
Language:Ada 383
alire-project / alire
Command-line tool from the Alire project and supporting library
ada ada-2012 package-manager package-manager-tool package-management reproducible-builds
Language:Ada 346
yoroi-frontend
Emurgo / yoroi-frontend
Yoroi Wallet - Cardano ADA Wallet - Your gateway to the financial world (extension frontend)
cardano chrome extension wallet react ada yoroi firefox
Language:JavaScript 340
IntersectMBO / cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
ada blockchain cardano cryptocurrency
Language:Haskell 273
AdaDoom3 / AdaDoom3
Id Software's Id-tech-4-BFG in the Ada programming language.
ada game-engine vulkan
Language:Ada 269
cassette
fraawlen / cassette
POSIX application framework featuring a retro-futurist GUI toolkit and a configuration language.
ada c c23 configuration configuration-language desktop-application framework graphics gui library posix x11 xcb
Language:C 258
Emurgo / yoroi
Yoroi - Your Cardano entry point for joining the ecosystem, whether as developer or user.
cardano wallet blockchain ada android ios mobile
Language:TypeScript 165
Gloire
Ironclad-Project / Gloire
Mirror of codeberg's repository
ada distribution os
Language:Shell 158
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
formal-verification formal-methods formal-specification ada
Language:Ada 158
hac
zertovitch / hac
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
ada ada-framework ada-language ada-library advent-of-code compiler compiler-construction mini-compiler parser semantic-analysis strongly-typed symbol-table virtual-machine
Language:Ada 137
sdlada
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
Language:Ada 125
AdaCore / RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
parser binary-parser ada spark formal-verification formal-specification formal-methods communication-protocol protocol-parser protocol-specification python
Language:Ada 112
flyx / OpenGLAda
Thick Ada binding for OpenGL and GLFW
glfw ada opengl-bindings ada-binding
Language:Ada 99
ada-lang-io / ada-lang-io
An Open Source Community site for Ada
ada
Language:TypeScript 98
stcarrez / ada-awa
Ada Web Application - Framework to build high performance secure web applications
web-framework ada database orm https-server rest-framework web-performance
Language:Ada 97
coincashew / coincashew
Your source for EthPillar, Ethereum Staking, Cardano Stake Pool Guides
ada blockchain cardano crypto cryptocurrency eth ethereum ethpillar fullnode homestaker node solostaking stakepool staking validator
87
Lucretia / bare_bones
Ada Bare Bones OS development tutorial source code
ada port bare-bones-tutorial bare-bones osdev bare-metal baremetal tutorial tutorial-exercises tutorial-sourcecode
Language:Ada 87
docandrew / CuBit
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
ada spark os x86-64
Language:Ada 79
powerjoular
joular / powerjoular
PowerJoular allows monitoring power consumption of multiple platforms and processes.
ada energy green power software joular powerjoular
Language:Ada 77
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
Language:Ada 75
stcarrez / ada-util
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
logging process streams serializer json beans ada
Language:Ada 70
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 gnat cortex rts risc-v rtos
Language:Ada 69
OpenAADL / ocarina
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
aadl ada
Language:Ada 68
samuell / awesome-ada
Awesome resources and other links related to the Ada programming language
ada ada-programming
65
proyecto26 / cardano-developer
A Cardano Developer Guide
cardano cardano-community cardano-dev ada
64
godunko / adawebpack
Ada WASM Runtime and Bindings for Web API
wasm gnat-llvm ada-runtime ada-wasm-runtime ada
Language:Ada 60
echovl / cardano-go
Go module for the Cardano Blockchain
ada bip32 blockchain cardano go golang
Language:Go 56
autistic-symposium / autistic-cypherpunk-toolkit
👾 notes and resources on cryptography, cryptocurrencies, and cypherpunk living for the autistic cypherpunk anons out there
blockchain bitcoin ethereum cypherpunk protopia reality quantum satoshi ada
55
input-output-hk / cardano-ledger-byron
A re-implementation of the Cardano ledger layer, replacing the Byron release
cryptocurrency blockchain cardano ada
Language:Haskell 51
kburtch / SparForte
Bourne shell, template engine, scripting language reliable, scalable projects. Based a ISO standard proven effective for large, mission-critical projects, SparForte is designed for fast development while, at the same time, providing easier designing, maintenance and bug removal. About 130.000 lines of code.
shell ada interpreted-programming-language reliable security strongly-typed elegant agile-integration side-effects safety-critical mysql postgresql ada-language
Language:Ada 50
i42output / neos
Language agnostic scripting engine with a custom bytecode JIT
bytecode vm jit jit-compiler ada cpp javascript lua python forth json rjson rust haskell
Language:C++ 49
JeremyGrosser / rp2040_hal
Ada drivers for the Raspberry Pi RP2040 SoC
raspberry-pi ada rp2040 cortex-m0plus hal driver
Language:Ada 43

Related Topics

ada-binding ada-framework ada-language ada-library ada-programs ada-stuff gnat gpr spark spark-ada