Profpatsch's repositories
pixelflut-haskell
Library to interact with Pixelflut in Haskell.
aarch64-build-box
Config for the Community aarch64 NixOS box [maintainer=@grahamc]
aardwolf-tintin
Base Tintin++ / Wintin++ settings for the Aardwolf mud. Features comparable to the Aardwolf Mushclient package.
awesome-recursion-schemes
Resources for learning and using recursion schemes.
buildtools
A bazel BUILD file formatter and editor
cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
dhall-nix
Dhall to Nix compiler
documentation
Documentation for the PureScript language, compiler, and tools.
elisp-mockery
watch me fail at elisp
emacs-direnv
direnv integration for emacs
functor-combo
Functor combinators with tries & zippers
mdsh
$ mdsh # markdown shell pre-processor
nixcloud-webservices
This nixpkgs extension, called nixcloud-webservices, focuses on ease of deployment of web-related technologies.
ofborg
@grahamcofborg tooling automation https://monitoring.nix.ci/dashboard/db/ofborg, https://nix.ci/status
project-icarus-importer
Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.
purescript-node-child-process
Spawn child processes in PureScript via the Node.js child_process API.
purescript-prelude
The PureScript Prelude
rules_haskell
Haskell rules for Bazel.
rules_nixpkgs
Rules for importing Nixpkgs packages into Bazel.
spacchetti
dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!
vuizvui
Nix(OS) expressions used by the OpenLab and its members
wireguard-docs
The Missing WireGuard Documentation: Setup, Usage, Configuration, and a full example for server-to-server VPN with roaming clients & public peers.