A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity
Repository Index
47,133 repositories indexed
1,465–1,488 of 2,233 · Most stars
Guile-SSH is a library that provides access to the SSH protocol for GNU Guile programs.
Common Lisp with Arc Macros and Procedures
Tinkerpop Blueprints Scala
Common Lisp (Parenscript) utilities for building web apps in ReactJs
Crystal bindings to Dear ImGui
The repository host gives no description.
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
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
Common Lisp and CXX interoperation with JIT
- jit
- interoperability
- common-lisp
- cpp17
brain-dead simple parallel processing for ruby
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
Improved Go Syntax (transpiler)
- go
- golang
Reduce a list of values using promises into a promise for a value
Rust SDK for Pocketbase
- pocketbase
- rust
- sdk-rust
- webasm
Limits the number of goroutines that are allowed to run concurrently
- concurrency
- golang
- goroutine
:awesome = Elixir's Task ++ Basho's sidejob library
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.
Wrapper for feeder. Elixir RSS parser
A setf like macro for functional programming
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