47,133 repositories indexed
97–107 of 107 · Most stars
One Go interface, five backends — filelock, flock, Redis, Postgres, etcd. Distributed locks with fencing tokens, semaphore mode, observability hooks, and TraceID propagation. Swap backends with one line.
Single-header C++ JIT compiler/evaluator for mathematical expressions
A dynamic binding to OpenGLES for the D Programming Language.
C binding generator for OpenGL API's
Formal proof in Coq of Puiseux's Theorem.
MicroPython bindings for some MbedTLS EC and x509 cert/csr functions.
Web UI on Ada
LMDB bindings for Common Lisp
Vertx-effect brings functional effects to the Vert.x ecosystem and is inspired by Erlang’s actor model. Its manifesto emphasizes principles such as maximizing the use of verticles for scalability, maintaining single responsibility for each verticle, and prioritizing simplicity to enhance reliability and ease debugging.
This is an Ada 2012 package that provides a task pool system for jobs which each take the form of a single request that receives a single response.
This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.