Linux VR Desktop

Easy dependency management for Nix projects

A prompt engineering functional programming language

A probabilistic programming language

A comprehensive self-management System

Validity and validity-based testing

Render graphs using a declarative markup.

Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"

A language for modular probabilistic modelling in Haskell based on effect handlers

Merge-less syncing of arbitrary immutable items

Safely synchronise values with safe merge conflicts.

A language for modular probabilistic modelling + inference in Haskell based on effect handlers