mbg/cs310

Stars
28
Rank 882,216 (Top 18 %)
Language
TeX
License
Other
Created about 4 years ago
Updated over 1 year ago

mbg/cs310

mbg

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

Templates and generic advice for CS310 etc.

hindley-milner

Template for Hindley-Milner based languages

wai-rate-limit

Rate limiting for Servant and as WAI middleware

hoop

A Haskell library for object-oriented programming

system-f-with-kind-polymorphism

System F with Kind Polymorphism

ncc

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

latex-stuff

wai-saml2

WAI middleware implementing SAML2

monzo

Haskell bindings for the Monzo API

javacc-docker

Dockerfile for JavaCC

simply-typed

An interactive simply-typed lambda-calculus implemented in Haskell.

FSEGame

logstash

Haskell client library for logstash

LLVMSharp

.NET bindings for LLVM

ManagedBlendELF

.NET wrapper for the BlendELF engine

sitebuilder-util

Utility program for managing Sitebuilder websites

uow-exam

My personal template for exam papers at the University of Warwick

Test

compilers-exercises

moss

Haskell client for Moss

icfp

compconstr-code

Skeleton code for Compiler Construction exercises

semantics-exercises

LaTeX sources for Semantics of Programming Languages exercises

simply-typed-ext

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

network-wait

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

Cambridge.Raven

ASP.NET MVC Authentication Filter for Raven