dogear

enter for all results · esc to close

Ada/SPARK

430 items from ohenley/awesome-ada ★872

all kinds
  1. 0
    ghdl github.com
    tool category #ada link ↗

    VHDL 2008/93/87 simulator.

  2. 0
    #addons:mozilla.org matrix.to
    site category #webextensions link ↗

    Matrix channel by Mozilla.

  3. 0
    eepers github.com
    tool category #ada link ↗

    A simple Turn-based Game in Ada (made with raylib).

  4. 0
    septum github.com
    tool category #ada link ↗

    An interactive context-based text search tool for searching large codebases.

  5. 0
    alire github.com
    tool category #ada link ↗

    A catalog of ready-to-use Ada libraries plus a command-line tool (alr) to obtain, compile, and incorporate them into your own projects. It aims to fulfill a similar role to Rust's cargo or OCaml's opam.

  6. 0
    whitakers-words github.com
    tool category #ada link ↗

    William Whitaker's WORDS, a Latin dictionary.

  7. 0
    spark-2014 github.com
    tool category #ada link ↗

    SPARK formal verification toolset.

  8. 0
    ada-language-server github.com
    tool category #ada link ↗

    Adacore server implemention of the the Microsoft Language Protocol for Ada and SPARK.

  9. 0
    ada-doom-3 github.com
    tool category #ada link ↗

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

  10. 0
    ada-drivers-library github.com
    tool category #ada link ↗

    Ada drivers for various MCU and sensors.

  11. 0
    synth github.com
    tool category #ada link ↗

    Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools).

  12. 0
    hac github.com
    tool category #ada link ↗

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

  13. 0
    libadalang github.com
    tool category #ada link ↗

    Library for parsing and semantic analysis of Ada code. It is meant as a building block for integration into other tools (IDE, static analyzers, etc).

  14. 0
    spark-by-example github.com
    tool category #ada link ↗

    Collection of verified functions and data types in SPARK.

  15. 0
    aws github.com
    tool category #ada link ↗

    Ada Web Server is a complete framework to develop Web based applications in Ada.

  16. 0
    spark-nacl github.com
    tool category #ada link ↗

    SPARK 2014 re-implementation of the TweetNaCl crypto library.

  17. 0
    sdlada github.com
    tool category #ada link ↗

    Ada 2012 bindings to SDL 2.

  18. 0
    record-flux github.com
    tool category #ada link ↗

    RecordFlux: Toolset for the formal specification of messages and the generation of verifiable binary parsers and message generators in SPARK.

  19. 0
    powerjoular github.com
    tool category #ada link ↗

    This tool allows monitoring power consumption of multiple platforms and processes.

  20. 0
    gsh github.com
    tool category #ada link ↗

    Non interactive POSIX shell for Windows, aimed at GNU software builds. 2-3 times faster than Cygwin.

  21. 0
    awa github.com
    tool category #ada link ↗

    Ada Web Application is a framework to build a Web Application in Ada 2012. The framework provides several ready to use and extendable modules that are common to many web application. This includes the login, authentication, users, permissions, managing comments, tags, votes…

  22. 0
    gtkada github.com
    tool category #ada link ↗

    Ada graphical toolkit based on Gtk3 components.

  23. 0
    opengl-ada github.com
    tool category #ada link ↗

    Thick Ada binding for OpenGL and GLFW.

  24. 0
    steamsky github.com
    tool category #ada link ↗

    Roguelike in sky with a steampunk setting.

  25. 0
    cubit github.com
    tool category #ada link ↗

    CuBitOS is a multi-processor, 64-bit, (partially) formally-verified, general-purpose operating system, currently for the x86-64 architecture.

  26. 0
    bare-bones github.com
    tool category #ada link ↗

    An Ada port of the osdev.org minimal 32-bit x86 kernel.

  27. 0
    ada-crypto-library github.com
    tool category #ada link ↗

    This is a crypto library for Ada with a nice API and is written for the i386 and x86_64 hardware architecture.

  28. 0
    adawebpack github.com
    tool category #ada link ↗

    GNAT RTL for WebAssembly and bindings for Web API.

  29. 0
    ada-util github.com
    tool category #ada link ↗

    A logging framework close to Java log4j framework, support for properties, serialization/deserialization framework for XML/JSON/CSV, Ada beans framework, encoding/decoding framework (Base16, Base64, SHA, HMAC-SHA), a composing stream framework (raw, files, buffers, pipes…

  30. 0
    cortex-gnat-rts github.com
    tool category #ada link ↗

    This package includes GNAT Ada Run Time Systems (RTSs) based on FreeRTOS and targeted at boards with Cortex-M0, M3, -M4, -M4F MCUs.

  31. next page of items loading…