Repository Index

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

• aadl
• ada

A Rocq formalization of information theory and linear error-correcting codes

• information-theory
• error-correcting-codes
• probability
• convexity

Guile-SSH is a library that provides access to the SSH protocol for GNU Guile programs.

• scheme
• c
• lisp
• guile

Crystal bindings to Dear ImGui

Simple Node.JS stream (streams2) Transform that runs the transform functions concurrently (with a set max concurrency)

Fast SIP and SDP Parser

• sip-headers
• parse
• sdp
• sip-messages

WebAssembly wrapper to simplify fast math coding

Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.

• community-driven
• manifesto
• coq

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

Reduce a list of values using promises into a promise for a value

Rust SDK for Pocketbase

• pocketbase
• rust
• sdk-rust
• webasm

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.

• delphi
• component
• sql
• dataset

Lightweight cURL wrapper for C# with support for curl_multi polling interface through libuv

• curl
• libcurl
• libuv
• multiprocessing

A crystal port of the Ruby Language Toolkit

Structured Concurrency in Go

• concurrency
• nursery
• goroutines
• golang

Library providing fast hash based immutable map and set

• hashmap
• fsharp
• collections
• hashset

A MIPS to Java bytecode binary translator

Thin wrapper over Nuklear for Common Lisp

UNIS: A Common Architecture for String Utilities within the Go Programming Language.

• golang
• string
• utility-wrapper

A Javascript to PICO-8 Lua transpiler

• javascript
• pico-8
• lua
• transpiler

Crystal to Lua bridge

• crystal
• lua
• bindings

The repository host gives no description.

Flowgraph package for scalable asynchronous system development

• dataflow
• scalable
• distributed

The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.