ada

There are 72 repositories under ada topic.

• ohenley / awesome-ada

  A curated list of awesome resources related to the Ada and SPARK programming language

  awesomeadasparkada-frameworkada-languageada-programsada-bindinggnatspark-adaada-libraryawesome-list
  574

• 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)

  benchmarkcpprustjavajavascriptswiftnimpythonkotlindlangcsharphaskellgolangadalualuajitprogramming-languagescoreboardruby
  Language:C++ 535

• its-pointless / gcc_termux

  Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt

  androidgcc-compliergccfortranadapascalscipyeclgnatoctaveopencvocamlrakudorstatsmongodbvlccommand-linetermuxjulialangjulia
  Language:C 449

• pyjarrett / septum

  Context-based code search tool

  septumtextsearch-in-textgrepgrep-likegrep-searchada
  Language:Ada 368
• yoroi-frontend

  Emurgo / yoroi-frontend

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

  cardanochromeextensionwalletreactadayoroifirefox
  Language:JavaScript 332

• tsoding / eepers

  Simple Turn-based Game

  adagameraylibturn-based
  Language:Ada 265

• alire-project / alire

  Command-line tool from the Alire project and supporting library

  adaada-2012package-managerpackage-manager-toolpackage-managementreproducible-builds
  Language:Ada 255

• AdaDoom3 / AdaDoom3

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

  adavulkangame-engine
  Language:Ada 252

• IntersectMBO / cardano-ledger

  The ledger implementation and specifications of the Cardano blockchain.

  cryptocurrencyblockchaincardanoada
  Language:Haskell 241

• 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-verificationformal-methodsformal-specificationada
  Language:Ada 150

• ada-game-framework / sdlada

  Ada 2022 bindings to SDL 2

  sdlsdl-ttfadaada2012bindingsgamedevsdl2-imageportable-librarylinuxwindowsmacosxgamegame-developmentsdl2sdl2-library
  Language:Ada 106

• zertovitch / hac

  HAC Ada Compiler - a small, quick Ada compiler fully in Ada

  adaada-languagecompiler
  Language:Ada 102

• AdaCore / RecordFlux

  Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

  parserbinary-parseradasparkformal-verificationformal-specificationformal-methodscommunication-protocolprotocol-parserprotocol-specificationpython
  Language:Ada 100

• thindil / steamsky

  Mirror of a roguelike in sky with a steampunk setting

  gameroguelikeadatknim
  Language:Ada 91

• flyx / OpenGLAda

  Thick Ada binding for OpenGL and GLFW

  adaada-bindingglfwopengl-bindings
  Language:Ada 90

• stcarrez / ada-awa

  Ada Web Application - Framework to build high performance secure web applications

  web-frameworkadadatabaseormhttps-serverrest-frameworkweb-performance
  Language:Ada 90

• Lucretia / bare_bones

  Ada Bare Bones OS development tutorial source code

  adaportbare-bones-tutorialbare-bonesosdevbare-metalbaremetaltutorialtutorial-exercisestutorial-sourcecode
  Language:Ada 80

• docandrew / CuBit

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

  adasparkosx86-64
  Language:Ada 76

• wookey-project / ewok-kernel

  A secure and high performances microkernel for building secure MCU-based IoTs

  adamicrokernelembeddedsecuritymicrocontrollermicrocontroller-firmwareewok-kernelewokarmarmv7mspark
  Language:Ada 72

• ada-lang-io / ada-lang-io

  An Open Source Community site for Ada

  ada
  Language:TypeScript 71

• stcarrez / ada-util

  Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more

  loggingprocessstreamsserializerjsonbeansada
  Language:Ada 68

• proyecto26 / cardano-developer

  A Cardano Developer Guide

  cardanocardano-communitycardano-devada
  63

• samuell / awesome-ada

  Awesome resources and other links related to the Ada programming language

  adaada-programming
  63

• OpenAADL / ocarina

  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

  aadlada
  Language:Ada 61

• simonjwright / cortex-gnat-rts

  This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit (v1)

  adagnatcortexrts
  Language:Ada 60

• onox / orka

  The OpenGL 4.6 Rendering Kernel in Ada 2012

  opengladagltfrendering-enginektxazdoeglgamepadwaylandforce-feedbackrumblegraphicstensorsndarrayrk4gamedevkalman3d-graphics
  Language:Ada 57

• input-output-hk / cardano-ledger-byron

  A re-implementation of the Cardano ledger layer, replacing the Byron release

  cryptocurrencyblockchaincardanoada
  Language:Haskell 52

• echovl / cardano-go

  Go module for the Cardano Blockchain

  cardanobip32adagolanggoblockchain
  Language:Go 49

• 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.

  shelladainterpreted-programming-languagereliablesecuritystrongly-typedelegantagile-integrationside-effectssafety-criticalmysqlpostgresqlada-language
  Language:Ada 49

• godunko / adawebpack

  Ada WASM Runtime and Bindings for Web API

  wasmgnat-llvmada-runtimeada-wasm-runtimeada
  Language:Ada 44

• i42output / neos

  Language agnostic scripting engine with a custom bytecode JIT

  bytecodevmjitjit-compileradacppjavascriptluapythonforthjsonrjsonrusthaskell
  Language:C++ 44
• powerjoular

  joular / powerjoular

  PowerJoular allows monitoring power consumption of multiple platforms and processes.

  adaenergygreenpowersoftwarejoularpowerjoular
  Language:Ada 44

• onox / json-ada

  An Ada 2012 library for parsing JSON

  adajson-adajson
  Language:Ada 39

• saasify-sh / ta11y

  Modern web accessibility audits. 💪

  accessibilitya11yaccessibility-testinga11y-testingadacompliancewebwcagwcag2saassaas-apiaccessibility-automationaccessibility-auditshtml-validation
  Language:JavaScript 39

• 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.

  walletblockchaincryptocurrencycardanodartflutteradafinance
  Language:Dart 38
• dashera

  SMerrony / dashera

  DasherA is a Data General DASHER D200/D210 terminal emulator

  adagtktelnetterminal-emulatordgserial-communicationhistoryterminalgtkadagtk3
  Language:Ada 37