Pinned Repositories
anatol
Anatol is a 6502 Breadboard computer
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.
georges
Georges is a {C++, multithreaded, SIMD} ray marcher
MetricRandomForest
This repository contains the code that can reproduce results in the paper Medoid splits for efficient random forests in metric spaces (Bulté and Sørensen, 2023).
Probabilistic.jl
Probabilistic.jl is an attempt to provide lightweight and easy to use probabilistic programming in Julia.
purescript-proofs
(Ab)using PureScript's type system for simple proofs verification
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.
sequent
Proof checker for sequent calculus proofs
matthieubulte's Repositories
matthieubulte/purescript-proofs
(Ab)using PureScript's type system for simple proofs verification
matthieubulte/sequent
Proof checker for sequent calculus proofs
matthieubulte/purescript-wai
WAI - Web Application Interface
matthieubulte/bash.js
hybrid bash-like/js runner
matthieubulte/purescript-complex
Simple library for working with complex numbers in PureScript
matthieubulte/db-jit
JIT compiler for simple expression language on db-columns
matthieubulte/seminar_enkf_analysis
Seminar: Analysis EnKF for inverse problems - Code and handout
matthieubulte/smc
Bachelor's thesis - Sequential Monte Carlo for time-dependent Bayesian Inverse Problems
matthieubulte/Probabilistic.jl
Probabilistic.jl is an attempt to provide lightweight and easy to use probabilistic programming in Julia.
matthieubulte/angular
matthieubulte/angularfire
AngularJS bindings for Firebase
matthieubulte/c3-chart
Custom directive to include C3 charts into your Angular apps
matthieubulte/Convex.jl
A Julia package for disciplined convex programming
matthieubulte/dask-glm
matthieubulte/dask-yarn
Deploy dask on YARN clusters
matthieubulte/functional-programming-jargon
Jargon from the functional programming world in simple terms! (WIP)
matthieubulte/haskell-experiments
matthieubulte/ionic-filter-bar
Filter Bar plugin for the Ionic Framework
matthieubulte/math-recon
Identify mathematical expressions in pictures
matthieubulte/netflix-prize
Exploring the Netflix prize data
matthieubulte/photon-ml
A scalable machine learning library on Apache Spark
matthieubulte/proseminar-svm
matthieubulte/purescript-exists
Existential types as a library
matthieubulte/purescript-free
Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.
matthieubulte/purescript-prelude
The PureScript Prelude
matthieubulte/purescript-tuples
Tuple data type and utility functions
matthieubulte/quickcheck
Automatic testing of Haskell programs.
matthieubulte/seminar-symplectic-ode
Material for my presentation on numerical solutions to symplectic ODEs
matthieubulte/trypurescript
PureScript in the browser
matthieubulte/yasnippet
A template system for Emacs