Basalt Alternatives

Similar projects and alternatives to basalt

AdaDoom3

4 250 2.2 Ada basalt VS AdaDoom3

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

1 27 1.8 Ada basalt VS libsparkcrypto

A cryptographic library in SPARK 2014
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.
qoi-spark

1 14 0.0 Ada basalt VS qoi-spark

“Quite OK Image” Ada implementation
RecordFlux

2 100 9.6 Ada basalt VS RecordFlux

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
spark-by-example

3 150 0.0 Ada basalt 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
bbqueue-spark

1 11 2.7 Ada basalt VS bbqueue-spark

An Ada implementation of James Munns' BBQueue
sdlada

7 1 8.4 Ada basalt VS sdlada

Ada 2022 bindings to SDL 2 - Don't STAR this, this is my personal repo which I may delete over using the AGF one.
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.
alire

29 255 9.3 Ada basalt VS alire

Command-line tool from the Alire project and supporting library

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better basalt alternative or higher similarity.

Suggest an alternative to basalt

basalt reviews and mentions

Posts with mentions or reviews of basalt. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-06-10.

SPARK Guide
3 projects | /r/ada | 10 Jun 2022

As a real world example you can take a look at the Image_Ranged and Image_Modular functions defined in basalt-strings_generic.ads and basalt-strings_generic.adb. The goal property for these functions is (apart from the absence of runtime errors) that they always return a string that starts at the index 1 and that has a specific maximum length, depending on the base given.