ruhatch Goto Github PK

.configfiles

.dotfiles

My configuration files

.vim

Vim configuration files

alcotest

A lightweight and colourful test framework

antiunification

AntiUnification generalises from examples

arc-ui

An adaptable, minimalist UI theme for Atom, based on Arc GTK theme

artemis-hashcode

Code from Google HashCode 2017

atom-one-light-theme

Atom One Light - An Emacs port of the Atom One Light theme from Atom.io.

bevel

A super awesome LightDM Webkit greeter theme.

bootstrap

The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.

brittany

haskell source code formatter

cabal2snack

Generate a snack.nix file from a cabal project

canonical-json

Canonical JSON for signing and hashing JSON values

cardano-chain

A re-implementation of the Cardano blockchain layer, replacing the Byron release

cardano-wallet

Official Wallet Backend & API for Cardano decentralized

composition-extra

Combinators for unorthodox structure composition in Haskell

coquille

Interactive theorem proving with Coq in vim.

cvs

CVs for people

developers.urbit.org

Website for the Urbit Foundation's developer program

dissertation

Part II project dissertation and other formal documentation

half

half-precision floating-point

hashcode2018

Team Artemis Haskell code for #HashCode 2018 #hashcodesolved - this code came 136th :)

haskell-hedgehog

Hedgehog will eat all your bugs.

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

ihp

λ IHP is a modern batteries-included Web Framework, built on top of Haskell and Nix.

ihp-boilerplate

Project Template for IHP. Used by ihp-new. License: MIT

lfs-test

Testing of git-lfs and git submodules

mirage-block-ccm

AES-CCM encrypted Mirage V1.BLOCK storage

mirage-block-fs

Inode-based file system built on Mirage's BLOCK interface

mirage-btrees