Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Repository Index
47,133 repositories indexed
361–384 of 418 · Most stars
Delphi header translation for Microsoft XmlLite
JS style promises added to GML, as well as an abundant number of async functions which can now return a promise.
Ada finite-state machine generator.
Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.
Boehm GC interface library for gcc-Ada (GNAT)
Zero-config, auto-scaling worker pool for Go with priority-aware scheduling, adaptive resource management, and per-task retry logic.
- async
- auto-scaling
- backpressure
- concurrency
POSIX Ada Bindings.
Ada bindings for the MQTT broker mosquitto.
Minimalistic monad syntax for OCaml.
Ada EL - Expression Language Library (JSR245)
Ada binding for liblzma compression library
- lzma
- ada
- compression
One Go interface, five backends — filelock, flock, Redis, Postgres, etcd. Distributed locks with fencing tokens, semaphore mode, observability hooks, and TraceID propagation. Swap backends with one line.
- advisory-lock
- concurrency
- distributed-lock
- etcd
Ada bindings to the Microsoft NetFramework Api
- netframework
- ada-netframework
- gnat
- ada
Cancellation propagation library for Common Lisp with deadlines and timeouts
tools for writing lexers / parsers in Ada
- ada
- lexer
- reference-counting
Single-header C++ JIT compiler/evaluator for mathematical expressions
- expression-evaluator
- expression-parser
- formula-engine
- formula-evaluator
Fast and flexible HTTP request parser for Go
- go-library
- golang
- http
- middleware
Ada bindings of Turbo Pascal 7.0 units with Gnoga.
An Ada binding for the Dear ImGui library.
This is an Ada 2012 package that provides an interface to BLAS.
Ada bindings for libsoundio
Grammar handling and parser generation Ada library
- ada
- grammars
- parsing
- syntax-analysis
Ada Windows POSIX binding