A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

Easy dependency management for Nix projects

age-encrypted secrets for NixOS and Home manager

😎 A curated list of the best resources in the Nix community [maintainer=@cyntheticfox]

A flake utility library to craft shell-, home-, and hosts- environments.

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 w…

Engines, queries, and data for dynamic Datalog computation

Blazing fast, small and hackable snowflake id generator for erlang

A model checker for implementing distributed systems.

The Visual Studio Code Extension for the Erlang Language Server

Image upscaling commandline tool using xBRZ algorithm

What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.

A modern Prolog implementation written mostly in Rust.

Yet another resource for collecting articles, videos etc. regarding functional programming

Moved to https://codeberg.org/DNS-OARC/PacketQ

edn format parser for the erlang platform

Paxos protocol framework

An alternative BEAM implementation, designed for WebAssembly

A Gradual type system for Erlang

Erlang Easy Profiling (eep) application provides a way to analyze application performance and call hierarchy

Microbenchmark plugin for rebar3

Chaos testing, network emulation, and stress testing tool for containers

Use Commanded to build Elixir CQRS/ES applications

Clojure for the Erlang VM (unofficial)

Awesome list for Paxos and friends

High Dynamic Range HDR Histogram for Erlang/OTP, Elixir & LFE

ChaosMonkey style testing for the BEAM

distributed system stress and load testing tool

High-Performance Erlang Network Client Framework