redbeardster's repositories
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-workflow-engines
A curated list of awesome open source workflow engines
couchdb-erlfdb-1
Erlang API for FoundationDB
dist-sys
Distributed systems lecture notes
eradius
Erlang RADIUS server framework
erlkaf
Erlang kafka driver based on librdkafka
Examples
A collection of TLA+ specifications of varying complexities
introduction-to-bash-scripting
Free Introduction to Bash Scripting eBook
isabelle-practice
Exercises from the Prog-Prove manual of Isabelle
jwt
Erlang JWT library
kong-cjson
Lua CJSON is a fast JSON encoding/parsing module for Lua
libaco
A blazing fast and lightweight C asymmetric coroutine library π β πβ π
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.
perc
Erlang interface for controlling Unix processes
prometheus.erl
Prometheus.io client in Erlang
solution-architecture
Solution Architecture links, articles, books, video lessons, etc.
tomerl
Erlang TOML Parser
utp-main
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
xml2lua
XML Parser written entirely in Lua that works for Lua 5.1+. Convert XML to and from Lua Tables ππ±