matthieubulte/SafariCmdShiftP matthieubulte/SafariCmdShiftP

  • Stars
    star
    1
  • Language
    JavaScript
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
matthieubulte/SafariCmdShiftP
github

matthieubulte

Reviews

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

Repository Details

More Repositories

1

sequent

Proof checker for sequent calculus proofs
Haskell
6
star
2

purescript-proofs

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

purescript-wai

WAI - Web Application Interface
PureScript
5
star
4

sucks-rocks

a web application for gathering feedback on small snippets of code
PureScript
5
star
5

purescript-complex

Simple library for working with complex numbers in PureScript
PureScript
2
star
6

bash.js

hybrid bash-like/js runner
JavaScript
2
star
7

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.
Python
2
star
8

pdfsnippet

TypeScript
1
star
9

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
1
star
10

seminar_enkf_analysis

Seminar: Analysis EnKF for inverse problems - Code and handout
Jupyter Notebook
1
star
11

purescript-raytracer

A simple raytracer in PureScript -- it's slow
PureScript
1
star
12

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
1
star
13

db-jit

JIT compiler for simple expression language on db-columns
C++
1
star
14

smc

Bachelor's thesis - Sequential Monte Carlo for time-dependent Bayesian Inverse Problems
Jupyter Notebook
1
star