Projects in Awesome Lists by mbg
A curated list of projects in awesome lists by mbg .
https://github.com/mbg/hindley-milner
Template for Hindley-Milner based languages
hindley-milner language type-inference types unification
Last synced: 30 Apr 2025
https://github.com/mbg/wai-rate-limit
Rate limiting for Servant and as WAI middleware
haskell haskell-servant rate-limiting wai-middleware
Last synced: 07 May 2025
https://github.com/mbg/system-f-with-kind-polymorphism
System F with Kind Polymorphism
Last synced: 08 May 2025
https://github.com/mbg/hoop
A Haskell library for object-oriented programming
haskell haskell-library object-oriented-programming subtyping template-haskell
Last synced: 08 May 2025
https://github.com/mbg/wai-saml2
WAI middleware implementing SAML2
haskell haskell-library saml-service-provider saml2
Last synced: 30 Apr 2025
https://github.com/mbg/ncc
A compiler for Cada, a purely functional programming language inspired by Haskell with syntactic sugar for the state monad
Last synced: 13 Mar 2025
https://github.com/mbg/logstash
Haskell client library for logstash
elasticsearch elk haskell logger logging logstash
Last synced: 08 May 2025
https://github.com/mbg/simply-typed
An interactive simply-typed lambda-calculus implemented in Haskell.
Last synced: 31 Mar 2025
https://github.com/mbg/semantics-exercises
LaTeX sources for Semantics of Programming Languages exercises
Last synced: 07 May 2025
https://github.com/mbg/network-wait
A lightweight Haskell library for waiting on networked services to become available
automation docker haskell haskell-library networking
Last synced: 08 May 2025
https://github.com/mbg/uow-exam
My personal template for exam papers at the University of Warwick
exam latex latex-template university warwick
Last synced: 31 Mar 2025
https://github.com/mbg/sitebuilder-util
Utility program for managing Sitebuilder websites
Last synced: 31 Mar 2025
https://github.com/mbg/simply-typed-ext
An extended version of the interactive simply-typed lambda-calculus implemented in Haskell.
Last synced: 31 Mar 2025
https://github.com/mbg/sarif
Haskell library for reading and writing SARIF files
code-scanning haskell haskell-library sarif
Last synced: 13 Mar 2025
https://github.com/mbg/compconstr-code
Skeleton code for Compiler Construction exercises
Last synced: 28 Apr 2025
https://github.com/mbg/cambridge.talks
A .NET library for accessing talks.cam.ac.uk
Last synced: 31 Mar 2025
https://github.com/mbg/tale-of-two-abstractions
LaTeX sources for 'A tale of two abstractions' paper
Last synced: 31 Mar 2025
https://github.com/mbg/stss-hangman
Code for the hangman exercise for the STSS
Last synced: 31 Mar 2025
https://github.com/mbg/oop-exercises
LaTeX sources for Object-Oriented Programming exercises
Last synced: 31 Mar 2025
https://github.com/mbg/group-project-demo-starter
Rock-paper-scissors starter code
Last synced: 31 Mar 2025
https://github.com/mbg/sitebuilder-website
Template repository for automated Sitebuilder websites
Last synced: 31 Mar 2025
https://github.com/mbg/cs325-docker
Docker image containing Clang+LLVM for the CS325 coursework
Last synced: 31 Mar 2025
https://github.com/mbg/c14n
Haskell bindings for the c14n implementation in LibXML (XML canonicalisation)
c14n canonicalization haskell xml
Last synced: 28 Apr 2025
https://github.com/mbg/time-units-types
Type-level representations of time periods
Last synced: 31 Mar 2025
https://github.com/mbg/ai-exercises
Exercises for Artificial Intelligence I
Last synced: 31 Mar 2025
https://github.com/mbg/text.lexer
A simple lexical analyser framework for .NET, written in 2011.
Last synced: 31 Mar 2025
https://github.com/mbg/concepts-exercises
Exercises for Concepts in Programming Languages
Last synced: 31 Mar 2025
https://github.com/mbg/group-project-website
HTML sources for the CS407 Sitebuilder website
Last synced: 31 Mar 2025
https://github.com/mbg/retry-types
Type-level representations of retry policies in Haskell.
haskell haskell-library retry-strategies types
Last synced: 31 Mar 2025
https://github.com/mbg/cs118-module-guide
LaTeX sources for the CS118 module guide.
Last synced: 31 Mar 2025