Ecosyste.ms: Awesome

https://github.com/spl/zfs-on-mac

My personal ZFS on macOS instructions and scripts

macos zfs

Last synced: 22 Dec 2024

https://github.com/spl/dlist

Difference lists in Haskell

data-structures difference-lists haskell

Last synced: 22 Dec 2024

https://github.com/spl/homebrew-pdftk

(UNMAINTAINED) Homebrew Formula for PDFtk Server

Last synced: 22 Nov 2024

https://github.com/spl/ivy

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

c compiler

Last synced: 22 Dec 2024

https://github.com/spl/emgm

Extensible and Modular Generics for the Masses

Last synced: 22 Dec 2024

https://github.com/spl/basic-category-theory

Source for Basic Category Theory by Tom Leinster

book category-theory mathematics

Last synced: 22 Dec 2024

https://github.com/spl/xformat

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

Last synced: 22 Dec 2024

https://github.com/spl/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

compiler haskell jhc mirror

Last synced: 22 Dec 2024

https://github.com/spl/talks

Sources of various talks that I've given

Last synced: 22 Dec 2024

https://github.com/spl/haskell-box-view

Simple implementation of the Box View API

Last synced: 22 Dec 2024

https://github.com/spl/sandbox

A collection of experiments with no relevance to anything else

Last synced: 22 Dec 2024

https://github.com/spl/jhc-darcs

Read-only mirror of the jhc darcs repository

compiler haskell jhc mirror

Last synced: 22 Dec 2024

https://github.com/spl/haskell-hubspot

Implementation of parts of the HubSpot API

Last synced: 22 Dec 2024

https://github.com/spl/http-client-request-modifiers

Convenient monadic HTTP request modifiers

Last synced: 22 Dec 2024

https://github.com/spl/haskell-marketo

Implementation of parts of the Marketo REST API

Last synced: 22 Dec 2024

https://github.com/spl/bash-config

My bash configuration files

bash

Last synced: 22 Dec 2024

https://github.com/spl/spine

Simple implementation of the generic spine view

Last synced: 22 Dec 2024

https://github.com/spl/tts

Last synced: 22 Dec 2024

https://github.com/spl/ligd

Lightweight Implementation of Generics and Dynamics

Last synced: 22 Dec 2024

https://github.com/spl/yesod-example-mini

A generated (mini) Yesod reference example

Last synced: 22 Dec 2024

https://github.com/spl/yesod-example-sqlite

A generated (SQLite) Yesod reference example

Last synced: 22 Dec 2024

https://github.com/spl/lean-emacs-server-docker

Lean prover with Emacs and lean-mode as a server on a minimal Docker image

Last synced: 22 Dec 2024

https://github.com/spl/terminusdb-builder

TerminusDB builder image

Last synced: 22 Dec 2024

https://github.com/spl/which-bin-rs

A very simple command-line program in Rust using which-rs

rust which

Last synced: 22 Dec 2024

https://github.com/spl/vim-config

My vim configuration files

vim

Last synced: 22 Dec 2024

https://github.com/spl/philosophical-notes

Sean's philosophical notes

Last synced: 22 Dec 2024

https://github.com/spl/misc-shell-scripts

Miscellaneous shell scripts

Last synced: 22 Dec 2024

https://github.com/spl/rename-pl

Perl script for renaming files

Last synced: 22 Dec 2024

https://github.com/spl/tmux-config

My tmux configuration files

tmux

Last synced: 22 Dec 2024

https://github.com/spl/texdoc-alfred-workflow

An Alfred2 workflow for calling texdoc

Last synced: 22 Dec 2024

https://github.com/spl/git-config

My git configuration files

Last synced: 22 Dec 2024

https://github.com/spl/linux-config

My generic Linux configuration

Last synced: 22 Dec 2024

https://github.com/spl/homebrew-koka

Homebrew tap for Koka and Madoko

homebrew homebrew-tap koka madoko

Last synced: 22 Dec 2024

https://github.com/spl/clear-sans-fonts

Clear Sans font family from Intel and Monotype

font

Last synced: 22 Dec 2024

https://github.com/spl/layout-sandbox

Experimenting with HTML and CSS layout

Last synced: 22 Dec 2024

https://github.com/spl/action-update-license-year

Testing action-update-license-year

Last synced: 22 Dec 2024

https://github.com/spl/docker-ghcjs

Dockerfile for ghcjs

Last synced: 22 Dec 2024

https://github.com/spl/baby

Baby documents

baby latex

Last synced: 22 Dec 2024

https://github.com/spl/music

My personal sheet music collection

musescore sheet-music

Last synced: 22 Dec 2024

https://github.com/spl/phd-thesis

PhD thesis of Sean Leather

Last synced: 22 Dec 2024

https://github.com/spl/eaglefiler-metadata-haskell

Extract and model EagleFile record metadata in Haskell

Last synced: 22 Dec 2024

https://github.com/spl/bash-prompt-hooks

Bash prompt hooks for before and after a command

bash hooks precmd preexec prompt

Last synced: 22 Dec 2024

https://github.com/spl/formal_binders

Fork of formal_binders

coq

Last synced: 22 Dec 2024

https://github.com/spl/ghc-config

My GHC configuration files

ghc

Last synced: 22 Dec 2024

https://github.com/spl/c-type-sizes

A simple C program to print type sizes

c types

Last synced: 22 Dec 2024

https://github.com/spl/editline-config

My editline configuration files

editline

Last synced: 22 Dec 2024

https://github.com/spl/lean-emacs-docker

Lean prover with Emacs and lean-mode on a minimal Docker image

Last synced: 22 Dec 2024

https://github.com/spl/hg-config

My Mercurial configuration files

mercurial

Last synced: 22 Dec 2024

https://github.com/spl/latex-number-signs

LaTex number signs for warning speakers of time remaining

Last synced: 22 Dec 2024

https://github.com/spl/graphite2-sys-rust

Rust bindings to graphite2

graphite2 rust

Last synced: 22 Dec 2024

https://github.com/spl/pg-config

My PostgreSQL configuration files

postgresql

Last synced: 22 Dec 2024

https://github.com/spl/cv

My CV

cv latex resume

Last synced: 22 Dec 2024

https://github.com/spl/emacs-config

My Emacs configuration files

emacs

Last synced: 22 Dec 2024

https://github.com/spl/kitty-config

My kitty configuration files

configuration kitty terminal

Last synced: 22 Dec 2024

https://github.com/spl/mirror-maker

A Maker of Mirrors

Last synced: 22 Dec 2024