patrick-nicodemus

Computational biology in Python and R. Formally verified mathematics in Coq.

University of PennsylvaniaPhiladelphia, Pennsylvania

patrick-nicodemus's Stars

hammerlab/ketrew
Keep Track of Experimental Workflows
Language:OCaml7710
pveber/bistro
A library to build and execute typed scientific workflows
Language:OCaml4711
math-comp/math-comp
Mathematical Components
Language:Coq575112
LPCIC/coq-elpi
Coq plugin embedding elpi
Language:Coq13750
pvdstel/Attic
An implementation of tactics in Agda
Language:Agda4
diku-dk/futhark
:boom::computer::boom: A data-parallel functional programming language
Language:Haskell2.4k165
zshipko/futhark-bindgen
A Futhark binding generator for Rust and OCaml
Language:Rust275