Skip to content
View mboes's full-sized avatar
160 followers · 19 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Pair ExtraordinaireAchievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Organizations

@tweag

Block or report mboes

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • nixos-configuration Public

    My NixOS configuration.

    nix nixos
    Nix Updated Jul 29, 2024

  • choice Public

    A solution to boolean blindness.

    Haskell 8 2 BSD 3-Clause "New" or "Revised" License Updated Jun 10, 2024

  • emacs-configuration Public

    My Emacs configuration.

    emacs emacs-configuration
    Emacs Lisp Updated Feb 20, 2024

  • nixos-docs-mockup Public

    JavaScript 4 3 MIT License Updated Jan 11, 2023

  • liquidhaskell-issue-2132 Public archive

    Reproducer for https://github.com/ucsd-progsys/liquidhaskell/issues/2132

    SMT Updated Jan 2, 2023

  • mime-directory Public

    A library for parsing/printing the text/directory mime type.

    Haskell 3 3 GNU Lesser General Public License v3.0 Updated Jan 18, 2019

  • bazel-protolude Public

    Dependency tree of Uplink under Bazel

    Python Updated Feb 5, 2018

  • slurp-registry Public

    Haskell 2 Updated Jan 14, 2018

  • haskell-src-exts-qq Public

    A quasiquoter for haskell-src-exts.

    Haskell 9 7 Other Updated Nov 23, 2017

  • cassette Public

    Define a parser. Play it in reverse to get a pretty printer.

    Haskell 11 Other Updated Oct 15, 2017

  • hacfreiburg-2017-talk Public archive

    JavaScript Updated Aug 6, 2017

  • devoxx-2017-talk Public archive

    HTML Updated Apr 6, 2017

  • haskellx-2016-talk Public archive

    "Haskell meets Java" slides for Haskell eXchange 2016 talk

    CSS Updated Oct 7, 2016

  • bug-ptr-not-in-spt Public archive

    Haskell 1 Updated Sep 25, 2016

  • hmk Public

    A pure Haskell implementation of Plan9's mk

    Haskell 16 3 GNU General Public License v3.0 Updated Jan 11, 2016

  • zurihac15-talk-examples Public

    Companion code for Zurihac'15 talk on Cloud Haskell

    Haskell 7 1 BSD 3-Clause "New" or "Revised" License Updated Jul 13, 2015

  • asana-burndown Public

    Burndown charts for Asana.

    1 GNU Affero General Public License v3.0 Updated Apr 12, 2014

  • language-arm Public

    Assembler and dissassembler for ARM in Haskell.

    Haskell 4 GNU Lesser General Public License v3.0 Updated Oct 10, 2012

  • dedukti Public

    A type-checker for the λΠ-modulo calculus.

    Haskell 10 4 GNU General Public License v3.0 Updated Apr 5, 2012

  • vCard Public

    A library for parsing/printing vCards from/to various formats.

    Haskell 5 1 GNU Lesser General Public License v3.0 Updated Dec 17, 2010

  • coqine Public

    An encoding of the Calculus of Inductive Constructions (as implemented in Coq) in Dedukti.

    OCaml 6 2 GNU Lesser General Public License v2.1 Updated Mar 10, 2010

  • 9ph Public

    A pure Haskell implementation of the 9p protocol, server and client.

    Haskell 3 Other Updated Mar 12, 2009