Collections of vector search related libraries, service and research papers

An Elixir library for working with HL7 v2.x healthcare data

Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

Greybox Fuzzing of Distributed Systems (CCS'23)

Contains source code for Apollo Federation's Rust<--> JavaScript interop

Jupyter kernel for Coq

posts and code related to personal studies

An open bibliography of machine learning for formal proof papers

An embedded language for probabilistic programming and meta-programming.

A configurable, high-performance routing runtime for Apollo Federation 🚀

Elixir code and test generation from TLA+ specifications

🖤 Create and share beautiful images of your source code

Helpers for Elixir exceptions

A workbench for writing toy implementations of distributed systems.

Black-box transactional safety checker based on cycle detection

Native, fast starting Clojure interpreter for scripting

Resilience engineering papers

Elixir Porter2 Stemmer

Set up a modern CLJS web app by running one command.

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

A collection of awesome things regarding Reason/OCaml ecosystem.

Convert REPL interactions into example-based tests.

FMA: A Dataset For Music Analysis

GraphQL implementation in pure Clojure

Type specification extensions for Elixir

InfluxDB driver for Elixir

ML/NLP utilities for Elixir

an event store + cqrs

Bootstrapped algebraic data types for Elixir