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

This repository moved. Please use the new location https://gitlab.com/pandark/plans-comptables-francais

Platform for dividing the world's largest problems into collaborative projects

A haskell tutorial using CodeWorld

Declarative Kiosk systems built with NixOS

Your One-Stop Publication Workbench

A modern, lambda-friendly, 120 character Java formatter.

Run docker-compose with help from Nix/NixOS

Easy dependency management for Nix projects

easily build most Haskell programs into fully static Linux executables

The participatory democracy framework. A generator and multiple gems made with Ruby on Rails

Delta.Chat C-Library with e2e chat-over-email functionality & Python bindings

CodiMD - Realtime collaborative markdown notes on all platforms.

Purescript rules for Bazel

Emits code crossreference data for Haskell sources.

Firefox Multi-Account Containers lets you keep parts of your online life separated into color-coded tabs that preserve your privacy. Cookies are separated by container, allowing you to use the web …

Easily and securely send things from one computer to another 🐊 📦

Nixos stuff

Serve your /nix/store directory over the internet ✨

The slightly more awesome standard unix password manager for teams

An operating system generator, based on NixOS, that, given a config, outputs a small (47 MB), read-only squashfs for a runit-based operating system, with support for iPXE and signed boot.

Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.

Incremental merge for git

Lasca is Scala shifted towards Haskell.

functional, durable data structures

Proofs of the number of inhabitants of polymorphic functions

A python-ish pure and total functional programming language

PWA presentation built with MDX and codeSurfer

♠️ React MDX-based presentation decks

Rad code slides <🏄/>