Pinned Repositories
cassette
Define a parser. Play it in reverse to get a pretty printer.
choice
A solution to boolean blindness.
dedukti
A type-checker for the λΠ-modulo calculus.
haskell-src-exts-qq
A quasiquoter for haskell-src-exts.
hmk
A pure Haskell implementation of Plan9's mk
th-lift
Derive Template Haskell's Lift class for datatypes.
distributed-closure
Serializable closures for distributed programming.
HaskellR
The full power of R in Haskell.
inline-java
Haskell/Java interop via inline Java code in Haskell modules.
sparkle
Haskell on Apache Spark.
mboes's Repositories
mboes/choice
A solution to boolean blindness.
mboes/nixos-docs-mockup
mboes/mime-directory
A library for parsing/printing the text/directory mime type.
mboes/slurp-registry
mboes/bazel
a fast, scalable, multi-language and extensible build system
mboes/bazel-protolude
Dependency tree of Uplink under Bazel
mboes/build-image
This is the build image used for running automated builds
mboes/builtwithnix.org
Share the love of Nix [maintainer=@zimbatm]
mboes/emacs-configuration
My Emacs configuration.
mboes/eval_nixpkgs
Sample project to play with tweag/rules_nixpkgs
mboes/ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org)
mboes/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
mboes/hackage-root-keys
mboes/haskellcosm
Collecting information about Haskell ecosystem - companies, communities, media, etc.
mboes/heroku-buildpack-bazel
mboes/hmatrix
Linear algebra and numerical computation
mboes/hspec
A Testing Framework for Haskell
mboes/inline-c
mboes/liquidhaskell
Liquid Types For Haskell
mboes/liquidhaskell-issue-2132
Reproducer for https://github.com/ucsd-progsys/liquidhaskell/issues/2132
mboes/nixos-configuration
My NixOS configuration.
mboes/nixpkgs
Nix Packages collection
mboes/pandoc
Universal markup converter
mboes/repro259
Repro case for rules_haskell
mboes/rfcs
The Nix community RFCs
mboes/rules_go
Go rules for Bazel
mboes/rules_nodejs
NodeJS rules for Bazel
mboes/rules_sass
Sass rules for Bazel
mboes/skydoc
Documentation generator for Skylark
mboes/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.