Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
Repository Index
47,133 repositories indexed
577–600 of 856 · Most stars
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
- baseline
- cli
- legacy-code
- mypy
V binding for webview - a tiny cross-platform library to build modern cross-platform GUI applications.
- v
- webview
- gtk
- webkit
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
`llthreads` library rewritten without `LuaNativeObjects` code generator
- lua
- threading
- pthreads
- lua-binding
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
High level go to Lua binder. Write less, do more.
- go
- golang
- lua
Fast Ruby FFI string edit distance algorithms
ImGui Binding for FreePascal / Delphi with the latest version & docking
- freepascal
- imgui
- imgui-binding
- opengl3
Sciter component for Delphi
A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity
Common Lisp with Arc Macros and Procedures
Common Lisp (Parenscript) utilities for building web apps in ReactJs
Simple Node.JS stream (streams2) Transform that runs the transform functions concurrently (with a set max concurrency)
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
- community-driven
- manifesto
- coq
Common Lisp and CXX interoperation with JIT
- jit
- interoperability
- common-lisp
- cpp17
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
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.
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