skyfold Goto Github PK

lorri

Your project's nix-env

matrix

A Haskell native implementation of matrices and their operations.

niv

Easy dependency management for Nix projects

nix-workshop

Nix workshop on deployments

nixpkgs

Nix Packages collection

oni

Oni: Modern Modal Editing - powered by Neovim

persistent

Persistence interface for Haskell allowing multiple storage methods.

plunker_www

The public-facing website for http://plnkr.co

postgrest

REST API for any Postgres database

propositionallogicverifier

qmk_firmware

keyboard controller firmware for Atmel AVR and ARM USB families

rasa

Extremely modular text editor built in Haskell

rc

config files for nvim, vim, tmux, zsh, fzf.zsh,

skyfold.github.com

snack

Nix-based incremental build tool for Haskell projects

sops-nix

Atomic secret provisioning for NixOS based on sops

sproxy2

HTTP proxy for authenticating users via OAuth2

squeal

Squeal, a deep embedding of SQL in Haskell

sudoku.hs

sudoku solver in haskell

sv

Comma (and other) separated values

swarm

Resource gathering + programming game

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.

type-of-html

High performance type safe html generation

vim-ranger

A vim plugin which uses ranger to explore your filesystem and to open files and directories.

wstunnel

Tunneling with websocket protocol - Static binary available