An open API service indexing awesome lists of open source software.

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/cs310

Templates and generic advice for CS310 etc.

Last synced: 23 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/latex-stuff

Last synced: 31 Mar 2025

https://github.com/mbg/monzo

Haskell bindings for the Monzo API

Last synced: 31 Mar 2025

https://github.com/mbg/llvmsharp

.NET bindings for LLVM

Last synced: 31 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/javacc-docker

Dockerfile for JavaCC

Last synced: 31 Mar 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/test

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/icfp

Last synced: 31 Mar 2025

https://github.com/mbg/moss

Haskell client for Moss

Last synced: 28 Apr 2025

https://github.com/mbg/compconstr-code

Skeleton code for Compiler Construction exercises

Last synced: 28 Apr 2025

https://github.com/mbg/maze-coursework

Last synced: 31 Mar 2025

https://github.com/mbg/go-test

Last synced: 31 Mar 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/website-old

Last synced: 31 Mar 2025

https://github.com/mbg/cada

The Cada Programming Language

Last synced: 31 Mar 2025

https://github.com/mbg/icfp2013

icfp2013

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/document-template

LaTeX template for documents

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/veasy

.NET library for visual programming

Last synced: 31 Mar 2025

https://github.com/mbg/tabula-api-docs

Last synced: 31 Mar 2025

https://github.com/mbg/vp-nov2014

Last synced: 31 Mar 2025

https://github.com/mbg/mrva

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/dca

Haskell implementation of the dDCA

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/etilic.text

Parser combinators for C#.

c-sharp parser-combinators

Last synced: 31 Mar 2025

https://github.com/mbg/actions

My GitHub Actions

github-actions haskell

Last synced: 28 Feb 2025

https://github.com/mbg/hmtc-llvm

LLVM backend for HMTC

Last synced: 31 Mar 2025

https://github.com/mbg/tabula-client

Command-line client for Tabula

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/llvm

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/codeql-demo

Last synced: 31 Mar 2025

https://github.com/mbg/maze

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/slack

Haskell bindings for the Slack API

Last synced: 31 Mar 2025

https://github.com/mbg/website

The sources for my website

Last synced: 31 Mar 2025

https://github.com/mbg/cs118-module-guide

LaTeX sources for the CS118 module guide.

Last synced: 31 Mar 2025

https://github.com/mbg/mbg

Last synced: 31 Mar 2025