AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
Repository Index
47,133 repositories indexed
145–168 of 216 · Most stars
A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity
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.
- golang
- go
- pooling
- pool
Lightweight cURL wrapper for C# with support for curl_multi polling interface through libuv
- curl
- libcurl
- libuv
- multiprocessing
Yet another routes handling utility on top of Hunchentoot
Go language extension that turns HTML templates into typed Go expressions with seamless editor support and an extensible rendering pipeline.
Superior Lisp Interactive Mode for Pulsar
- common-lisp
- atom
- repl
- pulsar-package
a tool for handling file uploads simple
- file
- upload
- multipart
- http
Pipelines using goroutines
Lightweight promises for iOS, macOS, tvOS, watchOS, and Linux
Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml
- ocaml
- linenoise
- readline
- standalone
dregex is a Java library that implements a regular expression engine using deterministic finite automata (DFA). It supports some Perl-style features and yet retains linear matching time, and also offers set operations.
- scala
- dfa
- regular-expression
- regular-expression-engine
extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0
- f-sharp
- parser
- combinator
- library
🐝 A Highly Performant and easy to use goroutine pool for Go
- goroutine
- goroutine-pool
- goroutine-scheduling
- task-scheduler
The Effect monad, for handling native side effects
A subset of TypeScript for developing Algorand Smart Contracts. Enables AVM development with native TypeScript syntax, tooling, and IDE support
Transpiling fortran code to golang code
- transpile
- f4go
- fortran
- golang
A stand-alone Swift wrapper around the mongo-c client library, enabling access to MongoDB servers.
- swift
- mongodb-connector
- server-side-swift
- mongodb
TurboRaylib is a cool and clean Raylib bindings for Object Pascal (Delphi and FreePascal)
- delphi
- easy-to-use
- freepascal
- game
A sync.WaitGroup with error handling and concurrency control
- golang
- goroutines
- waitgroup
- pool
Ordered-concurrently a library for concurrent processing with ordered output in Go. Process work concurrently and returns output in a channel in the order of input. It is useful in concurrently processing items in a queue, and get output in the order provided by the queue.
- concurrent
- golang
- golang-library
- data-science
Common Lisp bindings to the GNU Readline library
- common-lisp
- gnu-readline
- readline
- bindings
Prime numbers for Coq
- coq
- theorem-proving
- elliptic-curves
- prime-numbers
the alchemist's happy path with elixir
- elixir
- error-handling
- with
- monad