Chris's repositories

Language:PythonStargazers:1Issues:0Issues:0
Language:PythonStargazers:1Issues:1Issues:0
Language:PythonLicense:MITStargazers:1Issues:2Issues:0

agda-float-real

treat floating point numbers like reals...

Language:AgdaStargazers:0Issues:0Issues:0

agda-stdlib

The Agda standard library

Language:AgdaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

agdarsec

Total Parser Combinators in Agda

Language:AgdaLicense:GPL-3.0Stargazers:0Issues:1Issues:0
Language:AgdaStargazers:0Issues:2Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0
Language:PythonStargazers:0Issues:1Issues:0
Language:AgdaStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:1Issues:0
Language:HTMLStargazers:0Issues:0Issues:0
Language:AgdaLicense:CC0-1.0Stargazers:0Issues:2Issues:0

HEPML-LivingReview

Living Review of Machine Learning for Particle Physics

Language:TeXStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:1Issues:0

jax-conditional-flows

Normalizing flow models allowing for a conditioning context, implemented using Jax, Flax, and Distrax.

Language:Jupyter NotebookLicense:MITStargazers:0Issues:1Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:1Issues:0
Stargazers:0Issues:2Issues:0
Language:PythonStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:0Issues:0
Language:AgdaLicense:CC0-1.0Stargazers:0Issues:2Issues:0
Language:PythonStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0
Language:C++Stargazers:0Issues:0Issues:0

umami-preprocessing

UPP: Umami PreProcessing

Stargazers:0Issues:0Issues:0