AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
81,588 visible repositories in the index
1,153–1,176 of 1,489 · Most stars
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
Apache Kafka Client for Delphi
Common Lisp (Parenscript) utilities for building web apps in ReactJs
Gowl is a process management and process monitoring tool at once. An infinite worker pool gives you the ability to control the pool and processes and monitor their status.
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
Simple Node.JS stream (streams2) Transform that runs the transform functions concurrently (with a set max concurrency)
Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
Cojen/Maker is a lightweight, full-featured, low-level dynamic Java class generator designed for ease of use.
Limits the number of goroutines that are allowed to run concurrently
OCaml bindings for Kafka
Lightweight cURL wrapper for C# with support for curl_multi polling interface through libuv
Structured Concurrency in Go
TxQuery component is a TDataSet descendant component that can be used to query one or more TDataSet descendant components using SQL statements. It is implemented in Delphi 100% source code, no DLL required, because it implements its own SQL syntax parser and SQL engine.
A simple wrapper for raylib in V
Yet another routes handling utility on top of Hunchentoot
Cl-coroutine is a coroutine library for Common Lisp. It uses cl-cont continuations library in its implementation.
Crystal to Lua bridge
A wrapper module for using spaCy natural language processing library from the Ruby programming language via PyCall
A wrapper/facade/whatever to enable/ease the use of jNetPcap (a libpcap based packet sniffing lib) in Clojure
Flowgraph package for scalable asynchronous system development
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
Write parsers for arbitrary text inputs, entirely in Java, with no preprocessing phase
A collection of classes to give a fluent builder for Streams (Lazy Groovy Generators)
generates luajit ffi bindings from c headers