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/ansible-kafka
redbeardster/antifraud
A repository for financial fraud detection
redbeardster/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.
redbeardster/awesome-algorithms
A curated list of awesome places to learn and/or practice algorithms.
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/c-coroutines-info
redbeardster/cpp-projects
Collection of 50 C++ Projects, Algorithms, Data Structures & Learning Materials
redbeardster/crdt-isabelle
Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distributed Systems. In OOPSLA and Proceedings of the ACM on Programming Languages (PACMPL), 2017.
redbeardster/dist-sys
Distributed systems lecture notes
redbeardster/eradius
Erlang RADIUS server framework
redbeardster/erlkaf
Erlang kafka driver based on librdkafka
redbeardster/formal-methods
Literature dedicated to formal methods in software craft
redbeardster/free-programming-books
:books: Freely available programming books
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/kong-plugin-xml-json
redbeardster/ml4wp
"ML for thew working programmer" after Laurence Paulson
redbeardster/perc
Erlang interface for controlling Unix processes
redbeardster/qdate
Erlang date, time, and timezone management: formatting, conversion, and date arithmetic
redbeardster/RosettaCodeData
RosettaCode Data Project
redbeardster/sml-json
Standard ML package for JSON parsing and printing
redbeardster/system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
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 🌖💱