SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

BridgeStan provides efficient in-memory access through Python, Julia, and R to the methods of a Stan model.

install nixos everywhere via ssh [maintainer=@numtide]

A library for probabilistic programming in Haskell.

A List monad transformer and related tools

Updating nixpkgs packages since 2018

An web-based application for managing conferences

An implementation of Finger Trees for Elixir

Minimal runtime support for ExType.

A type checker for Elixir

A simple and concise way to annotate structs (or exceptions) with type info.

Phase vocoder in Haskell

Total Parser Combinators in Agda

Agda library for verifying neural networks.

😎 Awesome lists about all kinds of interesting topics

Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions

Wahjam online music collaboration

Dependency resolution

A simple tree class, mainly for enigmage.

An image viewer with animations, written in python