Pinned Repositories
attic
quick Language that compiles to LLVM
aws_sorter
BfInterpreter
charts
Curated applications for Kubernetes
clay
A CSS preprocessor as embedded Haskell.
easyjson
Haskell JSON parser with good errors
nix-workshop
Nix workshop on deployments
propositionalLogicVerifier
Skyfold's Repositories
Skyfold/nix-workshop
Nix workshop on deployments
Skyfold/charts
Curated applications for Kubernetes
Skyfold/clay
A CSS preprocessor as embedded Haskell.
Skyfold/codeAnalyzer
Automated proof assistant for pseudocode
Skyfold/dash-haskell
dash docset builder for Haskell packages and cabal project dependencies
Skyfold/distributed_max
Threads concurrently determine max number among peers
Skyfold/fcf-containers
fcf-containers add tools that can be used with first-class-families
Skyfold/first-class-families
First-class type families
Skyfold/gi-gtk-declarative
Declarative GTK+ programming in Haskell
Skyfold/gotham
A flexible web framework that promotes stability, safety, security and speed.
Skyfold/haskell-hedgehog
Release with confidence, state-of-the-art property testing for Haskell.
Skyfold/haskell-xss-sanitize
prevent XSS attacks by sanitizing html (this is different then escaping!)
Skyfold/hfmt
Format Haskell programs. Inspired by the gofmt utility.
Skyfold/hs-nix-template
A Haskell project template that can be built with nix and developed by ghcid and cabal-install.
Skyfold/http-client
An HTTP client engine, intended as a base layer for more user-friendly packages.
Skyfold/Idris2
A purely functional programming language with first class types
Skyfold/idris2-pkgs
An unofficial Idris2 package repository for Nix
Skyfold/lorri
Your project's nix-env
Skyfold/niv
Easy dependency management for Nix projects
Skyfold/oni
Oni: Modern Modal Editing - powered by Neovim
Skyfold/persistent
Persistence interface for Haskell allowing multiple storage methods.
Skyfold/qmk_firmware
keyboard controller firmware for Atmel AVR and ARM USB families
Skyfold/snack
Nix-based incremental build tool for Haskell projects
Skyfold/sops-nix
Atomic secret provisioning for NixOS based on sops
Skyfold/squeal
Squeal, a deep embedding of SQL in Haskell
Skyfold/sudoku.hs
sudoku solver in haskell
Skyfold/sv
Comma (and other) separated values
Skyfold/swarm
Resource gathering + programming game
Skyfold/themelios
Bootstrap a zfs-on-root NixOS configuration in one command. Themelios automates the entire installation process using any NixOS livedisk with an internet connection and your git repo. Themelios is flexible with many configuration options and allows for unique, per-machine customization.
Skyfold/type-of-html
High performance type safe html generation