Popular repositories Loading

1. Cateno Cateno Public

   A system for computational category theory and applications

   Jupyter Notebook 35 1

2. Typeclass.jl Typeclass.jl Public

   multiparameter typeclasses for Julia

   Julia 24 5

3. halo2-examples halo2-examples Public

   Forked from icemelon/halo2-examples

   Include halo2 example circuits

   Rust 10 2

4. 504notebooks 504notebooks Public

   Jupyter R notebooks for the class Stat 504: Analysis of Discrete Data

   Jupyter Notebook 6 4

5. exampledl exampledl Public

   Rust 2

6. METADATA.jl METADATA.jl Public

   Forked from JuliaLang/METADATA.jl

   Metadata for registered Julia packages.

   Julia