olivierverdier Goto Github PK

ad-skull-reconstruction

Repository for reconstruction of simulated skull CT data for AD project

allergy

Style file to write drafts (and final documents) in LaTeX

bayesflow

bsplinelab

Implementation of B-Splines in Python for various geometries

chaco

Clone

charestimate

Estimation of characteristic vector field

coq-bisection

ddmatch

Python module for diffeomorphic shape deformations

deformationmodulesodl

Implementation of deformation modules

demo-notebooks

diffeopt

Optimisation on Diffeomorphisms

dispatch

Simple dispatch package for python, extracted from django.dispatch.

django-profiles

Clone of django-profiles

dotspacemacs

Configuration file for Spacemacs

downhill-simplex

Implementation of the downhill simplex method (aka Nelder–Mead method)

edward

A library for probabilistic modeling, inference, and criticism. Deep generative models, variational inference. Runs on TensorFlow.

feeca

FEECa: Finite Element Exterior Calculus in Haskell

femshape

Library for computing shape invariants of planar curves using finite element method

geometricalgebra

Work based on http://www-sop.inria.fr/marelle/GeometricAlgebra/

geomstats

Computations and statistics on manifolds with geometric structures.

gundo.vim

Fork of gundo.vim

hakyll

A static website compiler library in Haskell

hakyll-bootstrap

Basic Hakyll + Bootstrap site

haskell-logic

Experimenting with proving type-logic statements in Haskell

homogint

Integrators on homogeneous spaces

hothello

Othello in Haskell

induction_proofs

Some Coq proofs using induction on natural numbers

infdim-function-spaces

Infinite-dimensional vector spaces representing smooth functions

ipython

Clone of IPython repo

landslide

Clone