zerosign Goto Github PK

mimalloc-aur-git

models

A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilities, and proofs.

mongo

An ocaml driver for mongodb

multiaddr

multispectralcompression

Notes on a lossless compression format for multispectral and hyperspectral images.

neovide

No Nonsense Neovim Client in Rust

netinfo

Network information web extensions based on Navigator.connection Network Information

norg-export

norg export

nvim-spectre

Find the enemy and replace them with dark power.

ob-http

make http request within org-mode babel

obs-studio

OBS Studio - Free and open source software for live streaming and screen recording

opentelemetry-collector

OpenTelemetry Collector

openvpn

OpenVPN is an open source VPN daemon

optraced

Opentracing compatible server build in rust and rocksdb

orchestra

stupididly dead simple (hopefully) orchestration integration testing in kubernetes

ordine

Just another queue based service in rust

paste.el

webpaste.el looklike library

pdfkit

A JavaScript PDF generation library for Node and the browser

planflo

an executor engine for depended distributed acyclic process flow in Linux

postgrest

REST API for any Postgres database

postgrex

PostgreSQL driver for Elixir

practical-cryptography-for-developers-book

Practical Cryptography for Developers: Hashes, MAC, Key Derivation, DHKE, Symmetric and Asymmetric Ciphers, Public Key Cryptosystems, RSA, Elliptic Curves, ECC, secp256k1, ECDH, ECIES, Digital Signatures, ECDSA, EdDSA

practical-fm

A gently curated list of companies using verification formal methods in industry

pwc

Papers with code. Sorted by stars. Updated weekly.

qmetaobject-rs

Integrate Qml and Rust by building the QMetaObject at compile time.

querable

queryable traits for any data structure

rabbitmq-tests

rabbitmq testing for message queuing systems

rackdc

Racket remote deployment tools (toy project)

rav

[wip] don't use

requesto-base

Requesto base library.