Ada-promises

Promises library

Implementing promises in Ada, a functional programming language.

Implementing promises in Ada. Type-safe, efficient, thread-safe, ...

GitHub

9 stars
5 watching
2 forks
Language: Ada
last commit: over 7 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

Repository Description Stars
briot/adafuzzy A library that enables the creation of fuzzy inference systems in Ada programming language. 3
briot/gnatbdd Supports Behavior Driven Development in Ada programming language through test-driven development and automated testing 7
aantron/promise A lightweight binding to JavaScript promises in Reason 340
bmsauer/termbox-ada A termbox library binding for the Ada programming language 2
adacore/ada-traits-containers A comprehensive Ada library for implementing various containers and data structures 29
lucretia/ada-utilities A VSCode extension providing utility functions and integrations for Ada programming. 0
adacore/ada_language_server An implementation of the Microsoft Language Server Protocol for Ada/SPARK and GPR project files. 236
spider-gazelle/promise A library providing typed promises for Crystal language to simplify concurrency and asynchronous programming. 42
khanlou/promise A Promise library for Swift that enables asynchronous operations to be composed and transformed in systematic ways. 621
adacore/win32ada A library providing an Ada interface to the Windows API 17
stcarrez/ada-util A comprehensive Ada library for building utility functions and frameworks for logging, serialization, encoding, concurrency, and more. 69
jrmarino/adabase Database bindings for the Ada programming language to interact with various relational databases 33
adacore/gnatcoll-bindings A collection of C library bindings for the Ada programming language. 14
frett27/ada-ga A library that provides an implementation of a genetic algorithm in Ada 2
latence-technologies/kafka-ada An Ada binding for the Apache Kafka C client library, allowing developers to send and receive data from Kafka topics using Ada. 14