Skip to content


See what the GitHub community is most excited about today.

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

    Ada 183 21 Built by @AdaDoom3 @Kensan @mulander @OneWingedShark @MichaelAllenHardeman
  2. Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)

    Ada 182 10 Built by @jrmarino @daemonblade @Ximalas @clinta @jakobbg
  3. Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

    Ada 113 75 Built by @Fabien-Chouteau @pat-rogers @lambourg @elbric0 @emareg
  4. The GNAT Programming Studio.

    Ada 112 20 Built by @briot @ArnaudCharlet @setton @QuentinOchem @TurboGit
  5. William Whitaker's WORDS, a Latin dictionary

    Ada 110 30 Built by @mk270 @darkestkhan @ids1024 @elhaem @apt1002
  6. The Ada Microkernel Project

    Ada 101 15 Built by @Lucretia @nosey
  7. SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

    Ada 95 15 Built by @yannickmoy @ptroja @kanigsson @clairedross @elisabarboni
  8. 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 92 9 Built by @tofgarion @patouf35 @joffreyhuguet @yoogx @yannickmoy
  9. The libadacrypt-dev is a crypto library for Ada with a nice API. It is written for the i386 and x86_64 hardware architecture and supports AES, Twofish, 3DES, Serpent SHA-1/256/384/512, DSA, OAEP-RSA, HMAC, CMAC, SIV, OCB, Nonces, Elliptic Curves. etc. It also contains regression tests consisting of over 400 tests. Dependencies: make and gnat-4.9.

    Ada 75 17 Built by @HPSchilling @cforler @Mack-the-Knife @rod-chapman
  10. AWS is a complete framework to develop Web based applications in Ada.

    Ada 55 23 Built by @TurboGit @anisimkov @enzbang @briot @quinot
  11. Thick Ada binding for OpenGL and GLFW

    Ada 52 13 Built by @flyx @onox @alkhimey @landgraf @rashfael
  12. Roguelike in sky with a steampunk setting

    Ada 51 2 Built by @thindil @LJNIC @MagiOC @probonopd
  13. Ada Bare Bones OS development tutorial source code

    Ada 51 13 Built by @Lucretia @nosey
  14. Ada semantic analysis library.

    Ada 48 18 Built by @raph-amiard @pmderodat @Roldak @yannickmoy @0xcharly
  15. A G-code parser and CNC controller (in Ada)

    Ada 48 6 Built by @Fabien-Chouteau
  16. Ada bindings for the GTK+ graphical library.

    Ada 46 14 Built by @briot @ArnaudCharlet @setton @albertklee @lambourg
  17. Ada 2012 bindings to SDL 2

    Ada 46 14 Built by @Lucretia @pmderodat @onox @simonjwright @cxong
  18. Shell, web engine, scripting language mission-critical, scalable projects.

    Ada 39 6 Built by @kburtch @qunying @Blady-Com @cicku
  19. Ada Web Application - Framework to build high performance secure web applications

    Ada 37 4 Built by @stcarrez
  20. The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.

    Ada 31 13 Built by @janverschelde
  21. Command-line tool from the Alire project and supporting library

    Ada 30 6 Built by @mosteo @pmderodat @Fabien-Chouteau
  22. An Ada binding generator from SVD descriptions for bare board ARM devices.

    Ada 30 19 Built by @lambourg @Fabien-Chouteau @pat-rogers @elbric0 @simonjwright
  23. Ada-bindings for 0mq

    Ada 30 9 Built by @persan @mk270 @landgraf
  24. An Ada binding for Lua.

    Ada 29 7 Built by @Nikokrock @kbrei @raph-amiard
  25. This repository contains course material published to the AdaCore University website

    Ada 29 10 Built by @emconuk @yannickmoy @QuentinOchem @Edschonberg @AdaDoom3
Other: Ada
Other Languages
1C Enterprise ABAP ABNF ActionScript Ada Adobe Font Metrics Agda AGS Script Alloy Alpine Abuild AMPL AngelScript Ant Build System ANTLR ApacheConf Apex API Blueprint APL Apollo Guidance Computer AppleScript Arc AsciiDoc ASN.1 ASP AspectJ Assembly Asymptote ATS Augeas AutoHotkey AutoIt Awk Ballerina Batchfile Befunge Bison BitBake Blade BlitzBasic BlitzMax Bluespec Boo Brainfuck Brightscript Bro C C# C++ C-ObjDump C2hs Haskell Cabal Config Cap'n Proto CartoCSS Ceylon Chapel Charity ChucK Cirru Clarion Clean Click CLIPS Clojure Closure Templates Cloud Firestore Security Rules CMake COBOL CoffeeScript ColdFusion ColdFusion CFC COLLADA Common Lisp Common Workflow Language Component Pascal CoNLL-U Cool Coq Cpp-ObjDump Creole Crystal CSON Csound Csound Document Csound Score CSS CSV Cuda CWeb Cycript Cython D D-ObjDump Darcs Patch Dart DataWeave desktop Diff DIGITAL Command Language DM DNS Zone Dockerfile Dogescript DTrace Dylan E Eagle Easybuild EBNF eC Ecere Projects ECL ECLiPSe Edje Data Collection edn Eiffel EJS Elixir Elm Emacs Lisp EmberScript EML EQ Erlang F# F* Factor Fancy Fantom FIGlet Font Filebench WML Filterscript fish FLUX Formatted Forth Fortran FreeMarker Frege G-code Game Maker Language GAMS GAP GCC Machine Description GDB GDScript Genie Genshi Gentoo Ebuild Gentoo Eclass Gerber Image Gettext Catalog Gherkin Git Attributes Git Config GLSL Glyph Glyph Bitmap Distribution Format GN Gnuplot Go Golo Gosu Grace Gradle Grammatical Framework Graph Modeling Language GraphQL Graphviz (DOT) Groovy Groovy Server Pages Hack Haml Handlebars HAProxy Harbour Haskell Haxe HCL HiveQL HLSL HTML HTML+Django HTML+ECR HTML+EEX HTML+ERB HTML+PHP HTML+Razor HTTP HXML Hy HyPhy IDL Idris IGOR Pro Inform 7 INI Inno Setup Io Ioke IRC log Isabelle Isabelle ROOT J Jasmin Java Java Properties Java Server Pages JavaScript JFlex Jison Jison Lex Jolie JSON JSON with Comments JSON5 JSONiq JSONLD Jsonnet JSX Julia Jupyter Notebook KiCad Layout KiCad Legacy Layout KiCad Schematic Kit Kotlin KRL LabVIEW Lasso Latte Lean Less Lex LFE LilyPond Limbo Linker Script Linux Kernel Module Liquid Literate Agda Literate CoffeeScript Literate Haskell LiveScript LLVM Logos Logtalk LOLCODE LookML LoomScript LSL Lua M M4 M4Sugar Makefile Mako Markdown Marko Mask Mathematica MATLAB Maven POM Max MAXScript mcfunction MediaWiki Mercury Meson Metal MiniD Mirah Modelica Modula-2 Modula-3 Module Management System Monkey Moocode MoonScript MQL4 MQL5 MTML MUF mupad Myghty nanorc NCL Nearley Nemerle nesC NetLinx NetLinx+ERB NetLogo NewLisp Nextflow Nginx Nim Ninja Nit Nix NL NSIS Nu NumPy ObjDump Objective-C Objective-C++ Objective-J OCaml Omgrofl ooc Opa Opal OpenCL OpenEdge ABL OpenRC runscript OpenSCAD OpenType Feature File Org Ox Oxygene Oz P4 Pan Papyrus Parrot Parrot Assembly Parrot Internal Representation Pascal Pawn Pep8 Perl Perl 6 PHP Pic Pickle PicoLisp PigLatin Pike PLpgSQL PLSQL Pod Pod 6 PogoScript Pony PostCSS PostScript POV-Ray SDL PowerBuilder PowerShell Processing Prolog Propeller Spin Protocol Buffer Public Key Pug Puppet Pure Data PureBasic PureScript Python Python console Python traceback q QMake QML Quake R Racket Ragel RAML Rascal Raw token data RDoc REALbasic Reason Rebol Red Redcode Regular Expression Ren'Py RenderScript reStructuredText REXX RHTML Rich Text Format Ring RMarkdown RobotFramework Roff Roff Manpage Rouge RPC RPM Spec Ruby RUNOFF Rust Sage SaltStack SAS Sass Scala Scaml Scheme Scilab SCSS sed Self ShaderLab Shell ShellSession Shen Slash Slice Slim Smali Smalltalk Smarty SMT Solidity SourcePawn SPARQL Spline Font Database SQF SQL SQLPL Squirrel SRecode Template Stan Standard ML Stata STON Stylus SubRip Text SugarSS SuperCollider SVG Swift SystemVerilog Tcl Tcsh Tea Terra TeX Text Textile Thrift TI Program TLA TOML Turing Turtle Twig TXL Type Language TypeScript Unified Parallel C Unity3D Asset Unix Assembly Uno UnrealScript UrWeb Vala VCL Verilog VHDL Vim script Visual Basic Volt Vue Wavefront Material Wavefront Object wdl Web Ontology Language WebAssembly WebIDL Windows Registry Entries wisp World of Warcraft Addon Data X BitMap X Font Directory Index X PixMap X10 xBase XC XCompose XML Xojo XPages XProc XQuery XS XSLT Xtend Yacc YAML YANG YARA YASnippet ZAP Zephir Zig ZIL Zimpl
ProTip! Looking for most forked Ada repositories? Try this search
You can’t perform that action at this time.