matthieubulte matthieubulte

Tracking 175 commits to 40 open source packages


Homepage: https://gist.github.com/matthieubulte

Company: Celonis

Location: Munich


Repositories

matthieubulte/sequent
Proof checker for sequent calculus proofs
Haskell - BSD-3-Clause - Last pushed - 5 stars
matthieubulte/logfind
Simple version of grep
Haskell - MIT - Last pushed - 0 stars
matthieubulte/purescript-complex
PureScript - MIT - Last pushed - 1 stars - 2 forks
matthieubulte/sucks-rocks
a web application for gathering feedback on small snippets of code
PureScript - MIT - Last pushed - 5 stars
matthieubulte/Probabilistic.jl
Probabilistic programming DSL
Julia - Other - Updated - 0 stars
matthieubulte/twitter-shortener
Url shortener based on t.co
Haskell - MIT - Last pushed - 0 stars
See all matthieubulte's repositories

Repositories Contributed To

parsonsmatt/purescript-trees
Rose trees
PureScript - LGPL-3.0 - Last pushed - 3 stars - 5 forks
joneshf/purescript-http
PureScript - Last pushed - 2 stars - 3 forks
ext/grunt-connect-proxy
Grunt Connect support for proxying API calls during development
JavaScript - MIT - Last pushed - 0 stars - 1 forks
tddbin/tddbin-frontend
The source of TDDbin. -
JavaScript - MIT - Last pushed - 186 stars - 33 forks
drewzboto/grunt-connect-proxy
Grunt Connect support for proxying API calls during development
JavaScript - MIT - Last pushed - 429 stars - 120 forks
aktowns/purescript-simple-dom
PureScript - MIT - Last pushed - 40 stars - 28 forks
See all matthieubulte's contributions

Published Packages

purescript-complex
Complex numbers in PureScript
Latest release 1.1.0 - Published - 1 stars
See all matthieubulte's packages

Most Used Packages

grunt
The JavaScript Task Runner
Latest release 1.0.4 - Updated - 12K stars
purescript-maybe
Optional values
Latest release v4.0.1 - Published - 11 stars
rspec
BDD for Ruby
Latest release 3.9.0 - Updated - 2.56K stars
bower
The browser package manager
Latest release 1.8.8 - Updated - 15.3K stars
cucumber
Behaviour Driven Development with elegance and joy
Latest release 4.0.0.rc.2 - Updated - 5.02K stars
pulp
A build system for PureScript projects
Latest release 13.0.0 - Updated - 428 stars
See all matthieubulte's most used packages

Last synced: 2017-01-17 06:11:39 UTC

Login to resync this page