spl/talks

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Haskell
Created over 12 years ago
Updated about 11 years ago

spl/talks

spl

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

Sources of various talks that I've given

dlist

Difference lists in Haskell

zfs-on-mac

My personal ZFS on macOS instructions and scripts

homebrew-pdftk

(UNMAINTAINED) Homebrew Formula for PDFtk Server

multi-ghc

Tools to support multiple GHC distributions in a Bash shell environment

ivy

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

font-awesome-type

A Font Awesome data type enumerating all icon classes in Haskell

emgm

Extensible and Modular Generics for the Masses

basic-category-theory

Source for Basic Category Theory by Tom Leinster

xformat

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

alpha-conversion-is-easy

Lean proof of alpha-conversion is easy

ghc-ver

GHC version selection script for Haskell Platform on Mac OS X

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

splonderzoek

Code for blog entries

sandbox

A collection of experiments with no relevance to anything else

functionalize-functors

A type class for functionalizing functors

jhc-darcs

Read-only mirror of the jhc darcs repository

generic-deriving-extras

Numerous generic functions that use generic-deriving

haskell-box-view

Simple implementation of the Box View API

lean-tutorial

Code from working on the Lean tutorial

spine

Simple implementation of the generic spine view

tts

haskell-marketo

Implementation of parts of the Marketo REST API

lhs2TeX-haskell

Customized formatting of Haskell in lhs2TeX

bash-config

My bash configuration files

pdftk

(UNMAINTAINED) Mirror of PDFtk Server

ligd

Lightweight Implementation of Generics and Dynamics

http-client-request-modifiers

Convenient monadic HTTP request modifiers

haskell-hubspot

Implementation of parts of the HubSpot API

network-uri-sandbox

A sandbox for different combinations of network-uri and network dependencies

church

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

yesod-example-sqlite

A generated (SQLite) Yesod reference example