Coder Social home page Coder Social logo

I am a Software Engineer at GitHub, working on CodeQL. Previously I worked at Tweag where I consulted for Hachi Security and Juspay. I like open-source, teaching, and all things to do with programming languages!

I maintain a number of Haskell libraries, which you can find on Hackage. Some that you might be interested in are:

  • wai-rate-limit, which allows you to add rate limiting to your web applications; also available specifically for Servant.
  • wai-saml2 if you are building a SAML2 Service Provider.
  • logstash implements various logger backends that can write to Logstash.
  • network-wait lets you wait for networked services to become available.
  • moss, a client for Moss, which is a code similarity checking tool.
  • c14n provides Haskell bindings for the C14N implementation (XML normalisation) in libxml2.
  • time-units-types, a small library for representing time units at the type-level.
  • hindley-milner is a template for when you are building a Hindley Milner derived language and want a starting point.
  • hoop is an experimental library I built while studying for a PhD, which implements an object system in Haskell.

For all of my functional programming teaching materials, head over to the fpclass organisation.

You can also find my website at michael-gale.co.uk.

Michael B. Gale's Projects

c14n icon c14n

Haskell bindings for the c14n implementation in LibXML (XML canonicalisation)

cada icon cada

The Cada Programming Language

cs310 icon cs310

Templates and generic advice for CS310 etc.

cs325-docker icon cs325-docker

Docker image containing Clang+LLVM for the CS325 coursework

dca icon dca

Haskell implementation of the dDCA

docker-hs icon docker-hs

A Haskell library for the Docker Engine API

docs icon docs

The open-source repo for docs.github.com

haskell-hedgehog icon haskell-hedgehog

Release with confidence, state-of-the-art property testing for Haskell.

hatch icon hatch

Framework code for the introductory FP workshop.

hoop icon hoop

A Haskell library for object-oriented programming

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.