Awesome Open Source

Programming Languages

Search results for algorithms ada

5 search results found

Spark By Example ⭐ 108

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

Libkeccak ⭐ 31

SHA-3 and other Keccak related algorithms in SPARK/Ada.

Ada Traits Containers ⭐ 25

Generic Ada Library for Algorithms and Containers

Stablematch ⭐ 20

Simulation of the matching algorithm that pairs medical school graduates and residency programs

Cardano Coin Selection ⭐ 18

A library of algorithms for coin selection and fee balancing.

Zstandard for Ada - Fast real-time compression algorithm

NBAda - An Ada library of lock-free data structures and algorithms.

Related Searches

Python Algorithms (9,749)

C Plus Plus Algorithms (6,250)

Algorithms Data Structure (4,627)

Java Algorithms (4,524)

Javascript Algorithms (3,576)

C Algorithms (2,341)

Jupyter Notebook Algorithms (2,326)

Algorithms Graph (1,764)

Algorithms Sort (1,670)

Matlab Algorithms (1,381)

1-5 of 5 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.