Beast code in Giters

Stuart Terrett's repositories

custom-monads

Implementing custom monads a la _Book of Monads_

Language:HaskellBSD-3-Clause400

advent-2018

Advent of Code 2018

Language:HaskellBSD-3-Clause200

tiger

Compiler for Tiger programming language from Modern Compiler Implementation in ML

Language:HaskellMIT2 30

future-combinators

Future combinators for Rust

Language:Rust1 20

hangman

Using hangman to explore effects

Language:HaskellBSD-3-Clause100

haskell-intermediates

Materials for intermediate-level haskell project tutorials

Language:Haskell1 20

escape-from-itunes

Copy iTunes files to a better folder hierarchy

Language:HaskellMIT020

apartment

Database multi-tenancy for Rack (and Rails) applications

Language:Ruby020

black-hat-rust

Applied offensive security with Rust - https://academy.kerkour.com/black-hat-rust?coupon=GITHUB

Language:Rust000

cookietower

A stack based bytecode interpreter

Language:Rust000

cps

continuation-passing-style interpreter

Language:HaskellBSD-3-Clause020

cql-io

Fork of https://gitlab.com/twittner/cql-io

Language:HaskellMPL-2.0000

csapp

Computer Systems: A Programmer's Perspective (CMU Labs)

Language:C000

dotfiles

A set of vim, zsh, git, and tmux configuration files.

Language:Vim Script020

dropwizard-db-test

Minimal reproduction of database pool issue

Language:Java020

eopl

Essentials of Programming Languages

Language:Racket020

failure

Maybe and Either for Ruby

Language:Ruby020

fp-course

Functional Programming Course

Language:Haskell000

haskell-exercises

A little course to learn about some of the more obscure GHC extensions.

Language:HaskellMIT010

java-tutorial

http://courses.coreservlets.com/Course-Materials/java.html

Language:Java020

kotlin-koans

Kotlin workshop

Language:KotlinMIT020

lets-lens

Course material for lens

Language:HaskellNOASSERTION000

optics-exercises

Exercises from https://leanpub.com/optics-by-example/

Language:HaskellBSD-3-Clause000

plfa.github.io

Introduction to programming language theory in Agda

Language:AgdaCC-BY-4.0010

simple-ci

Adversarial implementation of https://marcosampellegrini.com/simple-haskell-book

Language:Haskell020

simpledb

_A Simple and Efficient Implementation for Small Databases_

Language:Rust000

stack

The Haskell Tool Stack

Language:HaskellNOASSERTION010

tapl

Types and Programming Languages

Language:HaskellBSD-3-Clause020

ttfi

Typed Tagless Final Interpreters

Language:Haskell020

websockets

A Haskell library for creating WebSocket-capable servers

BSD-3-Clause000