matthieubulte/purescript-proofs

Stars
6
Rank 2,526,735 (Top 51 %)
Language PureScript
Created about 8 years ago
Updated about 8 years ago

matthieubulte/purescript-proofs

matthieubulte

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

sequent

Proof checker for sequent calculus proofs

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