Pinned Repositories
antidote-doc-graphs
Antidote module dependency graph generator
antidote-timeseries-load-generator
Continuous load generator script
erlesy
Visual Erlang development
jmss
Java Modular SAT Solver
minsem
Minimal semantic subtyping framework
rcl_memkv
Simple in-memory key-value store based on riak_core_lite
rofi-pass-wl
Rofi-pass replacement with wayland support
snappymail-docker
SnappyMail with docker-compose
riak_core_lite
Distributed systems infrastructure used by Riak.
scraper
The framework for declarative workflows
albsch's Repositories
albsch/minsem
Minimal semantic subtyping framework
albsch/erlesy
Visual Erlang development
albsch/antidote-doc-graphs
Antidote module dependency graph generator
albsch/antidote-timeseries-load-generator
Continuous load generator script
albsch/rofi-pass-wl
Rofi-pass replacement with wayland support
albsch/snappymail-docker
SnappyMail with docker-compose
albsch/abstractsyntaxgen
Generates Java classes for abstract syntax trees with references and attributes
albsch/antidote
A planet scale, highly available, transactional database built on CRDT technology
albsch/jmss
Java Modular SAT Solver
albsch/rcl_memkv
Simple in-memory key-value store based on riak_core_lite
albsch/antidote-connect-via-pb
albsch/antidote_bench
Simplified version of basho_bench
albsch/buggy_proper
albsch/dialyzer-test
albsch/distflow
albsch/erlang-checksrc
Checking how many exported functions are missing spec annotations
albsch/etylizer
Static typechecker for Erlang
albsch/java_types_matrix
albsch/minierl-sem
Semantic types for mini Erlang
albsch/NQJ-transpiler
NotQuiteJava Transpiler
albsch/otp
Erlang/OTP
albsch/riak_core_lite
Distributed systems infrastructure used by Riak.
albsch/scraper
The framework for declarative workflows
albsch/scraper-jobs
Example workflow specifications ready to be used
albsch/scraperflow
Data flow based java framework
albsch/tools_test_cases