keynslug's Stars
GetFirefly/firefly
An alternative BEAM implementation, designed for WebAssembly
nix-community/awesome-nix
😎 A curated list of the best resources in the Nix community [maintainer=@cyntheticfox]
cozodb/cozo
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
xgrommx/awesome-functional-programming
Yet another resource for collecting articles, videos etc. regarding functional programming
alexei-led/pumba
Chaos testing, network emulation, and stress testing tool for containers
ept/hermitage
What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.
mthom/scryer-prolog
A modern Prolog implementation written mostly in Rust.
dgryski/awesome-consensus
Awesome list for Paxos and friends
commanded/commanded
Use Commanded to build Elixir CQRS/ES applications
clojerl/clojerl
Clojure for the Erlang VM (unofficial)
nmattia/niv
Easy dependency management for Nix projects
ryantm/agenix
age-encrypted secrets for NixOS and Home manager
stateright/stateright
A model checker for implementing distributed systems.
vmware/differential-datalog
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
divnix/digga
A flake utility library to craft shell-, home-, and hosts- environments.
josefs/Gradualizer
A Gradual type system for Erlang
ailidani/paxi
Paxos protocol framework
DNS-OARC/PacketQ
A tool that provides a basic SQL-frontend to PCAP-files
virtan/eep
Erlang Easy Profiling (eep) application provides a way to analyze application performance and call hierarchy
lpgauth/shackle
High-Performance Erlang Network Client Framework
frankmcsherry/dynamic-datalog
Engines, queries, and data for dynamic Datalog computation
HdrHistogram/hdr_histogram_erl
High Dynamic Range HDR Histogram for Erlang/OTP, Elixir & LFE
atheros/xbrzscale
Image upscaling commandline tool using xBRZ algorithm
erlang-ls/vscode
The Visual Studio Code Extension for the Erlang Language Server
ankhers/havoc
ChaosMonkey style testing for the BEAM
fogfish/typhoon
distributed system stress and load testing tool
marianoguerra/erldn
edn format parser for the erlang platform
petrkozorezov/erl_snowflake
Blazing fast, small and hackable snowflake id generator for erlang
seriyps/rebar3_bench
Microbenchmark plugin for rebar3
McSwindler/python-milight