• Stars
    star
    56
  • Rank 530,104 (Top 11 %)
  • Language
    Shell
  • Created over 7 years ago
  • Updated over 1 year ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

My personal ZFS on macOS instructions and scripts

More Repositories

1

dlist

Difference lists in Haskell
Haskell
63
star
2

homebrew-pdftk

(UNMAINTAINED) Homebrew Formula for PDFtk Server
Ruby
54
star
3

multi-ghc

Tools to support multiple GHC distributions in a Bash shell environment
Shell
14
star
4

ivy

A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
OCaml
14
star
5

font-awesome-type

A Font Awesome data type enumerating all icon classes in Haskell
Haskell
8
star
6

emgm

Extensible and Modular Generics for the Masses
Haskell
6
star
7

basic-category-theory

Source for Basic Category Theory by Tom Leinster
TeX
5
star
8

xformat

Extensible, typed, scanf- and printf-like functions for formatted reading and showing in Haskell
Haskell
5
star
9

alpha-conversion-is-easy

Lean proof of alpha-conversion is easy
Lean
4
star
10

ghc-ver

GHC version selection script for Haskell Platform on Mac OS X
Shell
4
star
11

jhc

Read-only mirror of jhc, a Haskell compiler that aims to produce the most efficient programs possible via whole program analysis and other optimizations
Haskell
4
star
12

talks

Sources of various talks that I've given
Haskell
4
star
13

splonderzoek

Code for blog entries
Haskell
3
star
14

sandbox

A collection of experiments with no relevance to anything else
Haskell
2
star
15

functionalize-functors

A type class for functionalizing functors
Haskell
2
star
16

jhc-darcs

Read-only mirror of the jhc darcs repository
Haskell
2
star
17

generic-deriving-extras

Numerous generic functions that use generic-deriving
Haskell
2
star
18

haskell-box-view

Simple implementation of the Box View API
Haskell
2
star
19

lean-tutorial

Code from working on the Lean tutorial
Lean
1
star
20

spine

Simple implementation of the generic spine view
Haskell
1
star
21

tts

Lean
1
star
22

haskell-marketo

Implementation of parts of the Marketo REST API
Haskell
1
star
23

lhs2TeX-haskell

Customized formatting of Haskell in lhs2TeX
Haskell
1
star
24

bash-config

My bash configuration files
Shell
1
star
25

pdftk

(UNMAINTAINED) Mirror of PDFtk Server
Java
1
star
26

ligd

Lightweight Implementation of Generics and Dynamics
Haskell
1
star
27

http-client-request-modifiers

Convenient monadic HTTP request modifiers
Haskell
1
star
28

haskell-hubspot

Implementation of parts of the HubSpot API
Haskell
1
star
29

network-uri-sandbox

A sandbox for different combinations of network-uri and network dependencies
Shell
1
star
30

church

A simple type-checker for Girard's System Fω in Church-style (each variable must be annotated with it's type)
Haskell
1
star
31

yesod-example-sqlite

A generated (SQLite) Yesod reference example
Haskell
1
star