ada

There are 80 repositories under ada topic.

ohenley / awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
awesome ada spark ada-framework ada-language ada-programs ada-binding gnat spark-ada ada-library awesome-list
774
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++ 554
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 486
tsoding / eepers
Simple Turn-based Game
ada game raylib turn-based
Language:Ada 412
pyjarrett / septum
Context-based code search tool
septum text search-in-text grep grep-like grep-search ada
Language:Ada 393
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 352
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 341
cassette
fraawlen / cassette
POSIX application framework featuring a retro-futurist GUI toolkit and a configuration language.
c desktop-application graphics gui library x11 ada configuration configuration-language framework posix xcb c23
Language:C 290
IntersectMBO / cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
cryptocurrency blockchain cardano ada
Language:Haskell 275
AdaDoom3 / AdaDoom3
Id Software's Id-tech-4-BFG in the Ada programming language.
ada vulkan game-engine
Language:Ada 272
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 178
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 162
Gloire
Ironclad-Project / Gloire
Mirror of codeberg's repository
ada distribution os
Language:Shell 159
hac
zertovitch / hac
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
ada ada-language compiler virtual-machine strongly-typed ada-library mini-compiler parser semantic-analysis advent-of-code symbol-table compiler-construction ada-framework
Language:Ada 151
sdlada
ada-game-framework / sdlada
Ada 2022 bindings to SDL 2
sdl sdl-ttf ada ada2012 bindings gamedev sdl2-image portable-library linux windows macosx game game-development sdl2 sdl2-library
Language:Ada 126
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 122
ada-lang-io / ada-lang-io
An Open Source Community site for Ada
ada
Language:TypeScript 117
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 106
flyx / OpenGLAda
Thick Ada binding for OpenGL and GLFW
glfw ada opengl-bindings ada-binding
Language:Ada 101
powerjoular
joular / powerjoular
PowerJoular allows monitoring power consumption of multiple platforms and processes.
ada energy green power software joular powerjoular
Language:Ada 94
coincashew / coincashew
Your source for EthPillar, Ethereum Staking, Cardano Stake Pool Guides
cardano ethereum stakepool staking validator ethpillar homestaker solostaking ada blockchain crypto cryptocurrency eth fullnode node
89
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 88
docandrew / CuBit
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
ada spark os x86-64
Language:Ada 83
stcarrez / ada-util
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
logging process streams serializer json beans ada
Language:Ada 78
wookey-project / ewok-kernel
A secure and high performances microkernel for building secure MCU-based IoTs
ada microkernel embedded security microcontroller microcontroller-firmware ewok-kernel ewok arm armv7m spark
Language:Ada 77
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 75
OpenAADL / ocarina
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
aadl ada
Language:Ada 72
godunko / adawebpack
Ada WASM Runtime and Bindings for Web API
wasm gnat-llvm ada-runtime ada-wasm-runtime ada
Language:Ada 71
proyecto26 / cardano-developer
A Cardano Developer Guide
cardano cardano-community cardano-dev ada
66
samuell / awesome-ada
Awesome resources and other links related to the Ada programming language
ada ada-programming
65
cypherpunk-symposium / the-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
59
echovl / cardano-go
Go module for the Cardano Blockchain
cardano bip32 ada golang go blockchain
Language:Go 57
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++ 51
input-output-hk / cardano-ledger-byron
A re-implementation of the Cardano ledger layer, replacing the Byron release
cryptocurrency blockchain cardano ada
Language:Haskell 50
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
SweetAda
gabriele-galeotti / SweetAda
Ada-language framework
ada ada-language arm avr embedded embedded-system gnat-ada m68k microblaze mips nios2 powerpc risc-v s390 sh4 sparc x86 x86-64 neorv32 openrisc
Language:Ada 47

Related Topics

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