Renaissance-Ada Alternatives

Similar projects and alternatives to Renaissance-Ada based on common topics and language

• alire

  29 255 9.3 Ada Renaissance-Ada VS alire

  Command-line tool from the Alire project and supporting library

  

• AdaDoom3

  4 250 2.2 Ada Renaissance-Ada VS AdaDoom3

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

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• spark-by-example

  3 150 0.0 Ada Renaissance-Ada VS 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

• sdlada

  1 106 8.2 Ada Renaissance-Ada VS sdlada

  Ada 2022 bindings to SDL 2 (by ada-game-framework)

  

• hac

  17 102 9.1 Ada Renaissance-Ada VS hac

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

• RecordFlux

  2 100 9.6 Ada Renaissance-Ada VS RecordFlux

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

  

• steamsky

  10 91 10.0 Ada Renaissance-Ada VS steamsky

  Mirror of a roguelike in sky with a steampunk setting

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.