Explore projects
-
Updated
-
Updated
-
-
Updated
-
Updated
-
A Gaussian Random Field (GRF) generation library using Circulant Embedding method.
Updated -
-
-
Updated
-
Updated
-
-
Updated
-
Deep Neural Architecture for DNA.
Updated -
UpdatedUpdated
-
-
Updated
-
CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.
Updated