Pinned Repositories
ansible-kafka
antifraud
A repository for financial fraud detection
archive-of-graph-formalizations
This informal "Archive of Graph Formalizations" collects different formalizations of graphs from the Isabelle/HOL universe to compare them and to eventually unify the efforts.
awesome-algorithms
A curated list of awesome places to learn and/or practice algorithms.
awesome-coq
A curated list of awesome Coq frameworks, libraries and software.
kvs
distributed key-value storage with automatic recompilation
redbeardster's Repositories
redbeardster/awesome-scalability
High Scalability, High Availability, High Stability, High Performance, and High Intelligence Back-End Design Patterns
redbeardster/bytebytego
redbeardster/couchdb-erlfdb
Erlang Bindings for FoundationDB
redbeardster/couchdb-erlfdb-1
Erlang API for FoundationDB
redbeardster/dht
BitTorrent DHT library
redbeardster/erlang-uuid
Erlang UUID
redbeardster/Examples
A collection of TLA+ specifications of varying complexities
redbeardster/fds_ss20
Lecture course on verified Functional Data Structures
redbeardster/fiber
A header only cross platform wrapper of fiber API.
redbeardster/folsom
Expose Erlang Events and Metrics
redbeardster/gametest
redbeardster/jwt
Erlang JWT library
redbeardster/kong-cjson
Lua CJSON is a fast JSON encoding/parsing module for Lua
redbeardster/lager_mongodb_backend
redbeardster/lasp
Prototype implementation of Lasp in Erlang.
redbeardster/libaco
A blazing fast and lightweight C asymmetric coroutine library 💎 ⛅🚀⛅🌞
redbeardster/libfiber
A User Space Threading Library Supporting Multi-Core Systems
redbeardster/libfiber-1
The high performance coroutine library for Linux/FreeBSD/MacOS/Windows, supporting select/poll/epoll/kqueue/iocp/windows GUI
redbeardster/Linux-Privilege-Escalation
This cheatsheet is aimed at the OSCP aspirants to help them understand the various methods of Escalating Privilege on Linux based Machines and CTFs with examples.
redbeardster/liver
Lightweight Erlang validator based on LIVR specification
redbeardster/meck
A mocking library for Erlang
redbeardster/openRTB-JSON-Schema
JSON schema based on the OpenRTB Specifications defined by the IAB
redbeardster/prometheus.erl
Prometheus.io client in Erlang
redbeardster/short
redbeardster/snmpcl
Simple SNMP client like snmpwalk
redbeardster/solution-architecture
Solution Architecture links, articles, books, video lessons, etc.
redbeardster/testtask
redbeardster/tlaplus-examples
Basic TLA+ Examples
redbeardster/wmq
redbeardster/wolfmq
Simple message broker for Erlang applications