Discover @matthieubulte Open Source projects

@matthieubulte

matthieubulte

Stars
38
Global Rank 413,863 (Top 15 %)
Followers 39
Following 25
Registered almost 11 years ago
Most used languages

PureScript 33.3 %

Jupyter Notebook
26.7 %

JavaScript
13.3 %

TypeScript
6.7 %

Python
6.7 %

C++
6.7 %

Haskell
6.7 %
Location 🇩🇰 Denmark
Country Total Rank 1,658
Country Ranking

PureScript 1

Haskell
39

Jupyter Notebook
265

C++
572

TypeScript
811

JavaScript
1,047

Python
1,553

sequent

Proof checker for sequent calculus proofs

purescript-proofs

(Ab)using PureScript's type system for simple proofs verification

purescript-wai

WAI - Web Application Interface

sucks-rocks

a web application for gathering feedback on small snippets of code

purescript-complex

Simple library for working with complex numbers in PureScript

bash.js

hybrid bash-like/js runner

ardnassac

Ardnassac let's you search your past. It's a proof of concept, trying to reproduce the amazing product developed at rewind.ai with open source tools.

SafariCmdShiftP

pdfsnippet

ds3-causal-inference-workshop

Solution to notebooks provided at the ds3 causal inference workshop (https://www.ds3-datascience-polytechnique.fr/day-4-5-sessions/)

Jupyter Notebook

seminar_enkf_analysis

Seminar: Analysis EnKF for inverse problems - Code and handout

Jupyter Notebook

purescript-raytracer

A simple raytracer in PureScript -- it's slow

pyfrechet

pyfréchet is a Python module designed for the manipulation and analysis of data in metric spaces. It provides useful classes and methods for those looking to analyze non-standard data or develop new algorithms.

Jupyter Notebook

db-jit

JIT compiler for simple expression language on db-columns

smc

Bachelor's thesis - Sequential Monte Carlo for time-dependent Bayesian Inverse Problems

Jupyter Notebook