patrick-nicodemus
Computational biology in Python and R. Formally verified mathematics in Coq.
University of PennsylvaniaPhiladelphia, Pennsylvania
Pinned Repositories
1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
awesome-pipeline
A curated list of awesome pipeline toolkits inspired by Awesome Sysadmin
bistro
A library to build and execute typed scientific workflows
CAJAL
A Python package using Gromov-Wasserstein distance to compare cell shapes
category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
coq-elpi
Coq plugin embedding elpi
coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
forester-emacs
An Emacs major mode for the Forester markup language.
gw-ocaml
A port of CAJAL to OCaml.
patrick-nicodemus's Repositories
patrick-nicodemus/forester-emacs
An Emacs major mode for the Forester markup language.
patrick-nicodemus/gw-ocaml
A port of CAJAL to OCaml.
patrick-nicodemus/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
patrick-nicodemus/awesome-pipeline
A curated list of awesome pipeline toolkits inspired by Awesome Sysadmin
patrick-nicodemus/bistro
A library to build and execute typed scientific workflows
patrick-nicodemus/CAJAL
A Python package using Gromov-Wasserstein distance to compare cell shapes
patrick-nicodemus/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
patrick-nicodemus/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
patrick-nicodemus/coq-elpi
Coq plugin embedding elpi
patrick-nicodemus/coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
patrick-nicodemus/forest
patrick-nicodemus/futhark-website
Git repository containing the Futhark website.
patrick-nicodemus/HoTT
Homotopy type theory
patrick-nicodemus/merlin
Context sensitive completion for OCaml in Vim and Emacs
patrick-nicodemus/networkx
Network Analysis in Python
patrick-nicodemus/ocaml-jupyter
An OCaml kernel for Jupyter (IPython) notebook
patrick-nicodemus/owl
Owl - OCaml Scientific Computing @ http://ocaml.xyz
patrick-nicodemus/readthedocs-tutorial
patrick-nicodemus/ssprove
A foundational framework for modular cryptographic proofs in Coq
patrick-nicodemus/trimesh
Python library for loading and using triangular meshes.
patrick-nicodemus/unbalanced_gromov_wasserstein
Implementation of the Gromov-Wasserstein distance to the setting of Unbalanced Optimal Transport
patrick-nicodemus/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
patrick-nicodemus/ocaml-rust-starter
Getting started with ocaml-rs
patrick-nicodemus/patrick-nicodemus.github.io
Website repository.
patrick-nicodemus/tree-sitter-forester
tree-sitter grammar for forester
patrick-nicodemus/tutorial
Owl Tutorial
patrick-nicodemus/uniformal.github.io
Main website for MMT and related material
patrick-nicodemus/utop
Universal toplevel for OCaml