Michael B. Gale (@mbg)
github

mbg

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

hindley-milner

Template for Hindley-Milner based languages
Haskell
37
star
2

cs310

Templates and generic advice for CS310 etc.
TeX
28
star
3

wai-rate-limit

Rate limiting for Servant and as WAI middleware
Haskell
9
star
4

hoop

A Haskell library for object-oriented programming
Haskell
7
star
5

system-f-with-kind-polymorphism

System F with Kind Polymorphism
Haskell
7
star
6

ncc

A compiler for Cada, a purely functional programming language inspired by Haskell with syntactic sugar for the state monad
Haskell
5
star
7

latex-stuff

TeX
4
star
8

wai-saml2

WAI middleware implementing SAML2
Haskell
3
star
9

monzo

Haskell bindings for the Monzo API
Haskell
3
star
10

javacc-docker

Dockerfile for JavaCC
Dockerfile
2
star
11

simply-typed

An interactive simply-typed lambda-calculus implemented in Haskell.
Haskell
2
star
12

FSEGame

C#
2
star
13

logstash

Haskell client library for logstash
Haskell
2
star
14

LLVMSharp

.NET bindings for LLVM
C++
2
star
15

ManagedBlendELF

.NET wrapper for the BlendELF engine
C++
1
star
16

sitebuilder-util

Utility program for managing Sitebuilder websites
Haskell
1
star
17

uow-exam

My personal template for exam papers at the University of Warwick
TeX
1
star
18

Test

1
star
19

compilers-exercises

TeX
1
star
20

moss

Haskell client for Moss
Haskell
1
star
21

icfp

Haskell
1
star
22

compconstr-code

Skeleton code for Compiler Construction exercises
Haskell
1
star
23

semantics-exercises

LaTeX sources for Semantics of Programming Languages exercises
TeX
1
star
24

simply-typed-ext

An extended version of the interactive simply-typed lambda-calculus implemented in Haskell.
Haskell
1
star
25

network-wait

A lightweight Haskell library for waiting on networked services to become available
Haskell
1
star
26

Cambridge.Raven

ASP.NET MVC Authentication Filter for Raven
C#
1
star