Pinned Repositories
ansible-kafka
awesome-coq
A curated list of awesome Coq frameworks, libraries and software.
awesome-erlang
A curated list of awesome Erlang frameworks, libraries and software.
awesome-rust
A curated list of awesome Rust frameworks, libraries and software.
awesome-scalability
High Scalability, High Availability, High Stability, High Performance, and High Intelligence Back-End Design Patterns
awesome-workflow-engines
A curated list of awesome open source workflow engines
kvs
distributed key-value storage with automatic recompilation
redbeardster's Repositories
redbeardster/ansible-kafka
redbeardster/awesome-coq
A curated list of awesome Coq frameworks, libraries and software.
redbeardster/awesome-erlang
A curated list of awesome Erlang frameworks, libraries and software.
redbeardster/awesome-rust
A curated list of awesome Rust frameworks, libraries and software.
redbeardster/awesome-workflow-engines
A curated list of awesome open source workflow engines
redbeardster/bytebytego
redbeardster/c-coroutines-info
redbeardster/couchdb-erlfdb-1
Erlang API for FoundationDB
redbeardster/dist-sys
Distributed systems lecture notes
redbeardster/eradius
Erlang RADIUS server framework
redbeardster/erlkaf
Erlang kafka driver based on librdkafka
redbeardster/Examples
A collection of TLA+ specifications of varying complexities
redbeardster/folsom
Expose Erlang Events and Metrics
redbeardster/introduction-to-bash-scripting
Free Introduction to Bash Scripting eBook
redbeardster/isabelle
redbeardster/isabelle-hol
redbeardster/isabelle-practice
Exercises from the Prog-Prove manual of Isabelle
redbeardster/jwt
Erlang JWT library
redbeardster/kong-cjson
Lua CJSON is a fast JSON encoding/parsing module for Lua
redbeardster/kong-plugin-xml-json
redbeardster/libaco
A blazing fast and lightweight C asymmetric coroutine library 💎 ⛅🚀⛅🌞
redbeardster/meck
A mocking library for Erlang
redbeardster/perc
Erlang interface for controlling Unix processes
redbeardster/prometheus.erl
Prometheus.io client in Erlang
redbeardster/qdate
Erlang date, time, and timezone management: formatting, conversion, and date arithmetic
redbeardster/solution-architecture
Solution Architecture links, articles, books, video lessons, etc.
redbeardster/Spin
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
redbeardster/tomerl
Erlang TOML Parser
redbeardster/utp-main
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
redbeardster/xml2lua
XML Parser written entirely in Lua that works for Lua 5.1+. Convert XML to and from Lua Tables 🌖💱