Mathieu Boespflug (mboes)

mboes

Geek Repo

Company:@tweag

Location:Paris, France

Github PK Tool:Github PK Tool


Organizations
tweag

Mathieu Boespflug's repositories

choice

A solution to boolean blindness.

Language:HaskellLicense:BSD-3-ClauseStargazers:8Issues:5Issues:1
Language:JavaScriptLicense:MITStargazers:4Issues:4Issues:0

mime-directory

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

Language:HaskellLicense:LGPL-3.0Stargazers:3Issues:4Issues:2
Language:HaskellStargazers:2Issues:5Issues:0

bazel

a fast, scalable, multi-language and extensible build system

Language:JavaLicense:Apache-2.0Stargazers:0Issues:3Issues:0

bazel-protolude

Dependency tree of Uplink under Bazel

Language:PythonStargazers:0Issues:3Issues:0

build-image

This is the build image used for running automated builds

Language:ShellStargazers:0Issues:3Issues:0

builtwithnix.org

Share the love of Nix [maintainer=@zimbatm]

Language:HTMLStargazers:0Issues:3Issues:0

emacs-configuration

My Emacs configuration.

Language:Emacs LispStargazers:0Issues:3Issues:0

eval_nixpkgs

Sample project to play with tweag/rules_nixpkgs

Language:PythonLicense:MITStargazers:0Issues:3Issues:0

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)

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

Stargazers:0Issues:3Issues:0
Language:Standard MLStargazers:0Issues:1Issues:0

haskellcosm

Collecting information about Haskell ecosystem - companies, communities, media, etc.

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:2Issues:0
Language:ShellLicense:Apache-2.0Stargazers:0Issues:3Issues:0

hmatrix

Linear algebra and numerical computation

Language:HaskellStargazers:0Issues:3Issues:0

hspec

A Testing Framework for Haskell

Language:HaskellLicense:MITStargazers:0Issues:3Issues:0
Language:HaskellLicense:MITStargazers:0Issues:3Issues:0

liquidhaskell

Liquid Types For Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

liquidhaskell-issue-2132

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

Language:SMTStargazers:0Issues:2Issues:0

nixos-configuration

My NixOS configuration.

Language:NixStargazers:0Issues:3Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:NOASSERTIONStargazers:0Issues:3Issues:0

pandoc

Universal markup converter

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

repro259

Repro case for rules_haskell

Language:PythonStargazers:0Issues:0Issues:0

rfcs

The Nix community RFCs

License:CC-BY-SA-4.0Stargazers:0Issues:3Issues:0

rules_go

Go rules for Bazel

Language:PythonLicense:Apache-2.0Stargazers:0Issues:3Issues:0

rules_nodejs

NodeJS rules for Bazel

Language:PythonLicense:Apache-2.0Stargazers:0Issues:3Issues:0

rules_sass

Sass rules for Bazel

Language:PythonLicense:Apache-2.0Stargazers:0Issues:3Issues:0

skydoc

Documentation generator for Skylark

Language:PythonLicense:Apache-2.0Stargazers:0Issues:3Issues:0

stackage

"Stable Hackage," tools for creating a vetted set of packages from Hackage.

Language:ShellLicense:MITStargazers:0Issues:0Issues:0