Install mainline kernel packages from kernel.ubuntu.com

A Zookeeper client library for Go

Collabs library monorepo

Don't let the cursor slow you down

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

Branching-process model of COVID-19 control, using bidirectional contact tracing.

Convert TLA+ output (and values) into JSON

Some useful things to try

Command line binaries for the TLA+ language

🦝 📦 a package registry for anything, but mostly javascript 🦝 🦝 🦝

⭐️ A friendly language for building type-safe, scalable systems!

DEPRECATED : An Elixir library (driver) for clients communicating with MQTT brokers(via the MQTT 3.1.1 protocol).

🌸 An opinionated Elixir source code formatter

Prototype implementation of Lasp in Erlang.

Handle UNIX signals in Erlang

500 Lines or Less

Property-based testing library for Elixir (QuickCheck style).

Small message server in Elixir that scales

Awesome printing for Elixir

REST API for any Postgres database

The Little Schemer in Elixir.

A websocket client to work with Pusher

Create agents that monitor and act on your behalf. Your agents are standing by!

A simple native implementation for Rdio music services

EventMachine based WebSocket server

Pusher server implementation compatible with Pusher client libraries.

Extended process registry for Erlang

Heroku Buildpack for Elixir with nitro boost

Elixir is a dynamic, functional language for building scalable and maintainable applications