There are no reviews yet. Be the first to send feedback to the community and the maintainers!
hindley-milner
Template for Hindley-Milner based languagescs310
Templates and generic advice for CS310 etc.wai-rate-limit
Rate limiting for Servant and as WAI middlewarehoop
A Haskell library for object-oriented programmingsystem-f-with-kind-polymorphism
System F with Kind Polymorphismncc
A compiler for Cada, a purely functional programming language inspired by Haskell with syntactic sugar for the state monadlatex-stuff
wai-saml2
WAI middleware implementing SAML2monzo
Haskell bindings for the Monzo APIjavacc-docker
Dockerfile for JavaCCsimply-typed
An interactive simply-typed lambda-calculus implemented in Haskell.FSEGame
logstash
Haskell client library for logstashLLVMSharp
.NET bindings for LLVMManagedBlendELF
.NET wrapper for the BlendELF enginesitebuilder-util
Utility program for managing Sitebuilder websitesuow-exam
My personal template for exam papers at the University of WarwickTest
compilers-exercises
moss
Haskell client for Mossicfp
compconstr-code
Skeleton code for Compiler Construction exercisessemantics-exercises
LaTeX sources for Semantics of Programming Languages exercisessimply-typed-ext
An extended version of the interactive simply-typed lambda-calculus implemented in Haskell.Cambridge.Raven
ASP.NET MVC Authentication Filter for RavenLove Open Source and this site? Check out how you can help us