Repository Index

Solving the mini Rubik (2x2) in Coq

• theorem-proving
• formalization
• rubik-cube
• 2x2x2

This is a demo WASM Blazor application. You can test regular C# expressions in your browser.

• netcore
• blazor
• blazor-webassembly

Incremental analysis in Ada

• ada
• syntax-analysis
• incremental
• parsing

MicroPython bindings for some MbedTLS EC and x509 cert/csr functions.

• ecdsa
• mbedtls
• micropython
• tls

A configurable dynamic and static D binding to the HarfBuzz library which is compatible with @nogc, nothrow, and BetterC.

Wrapper for NLopt - nonlinear optimization library

crystal lang bindings for linux gpiod

D bindings for the JoyShockLibrary

Configurable dynamic and static binding to Facebook's zstandard compression library.

A time library for D programming language.

• time
• timezone
• chrono
• date

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.

• functional-programming
• java
• json-values
• persistent-data-structure

Collection of Vert.x utility methods

• vertx
• reactive

Go library for Russian GOST cryptography (digital signatures, Streebog hash, Kuznechik cipher, MGM AEAD) backed by OpenSSL gost-engine

• aead
• block-cipher
• cryptography
• digital-signatures

A MIL language VM and interpreter written in ActionScript

Ada Binding for the libsecret library

• libsecret
• binding
• keyring
• kwallet

Native ZeroMQ bindings in Coalton.

A port of ua-parser2 to Elixir. User agent parser library.

Lisp dialect written in Actionscript

Crystal Lang HTTP Link Header Parser

OCaml bindings for Python