Popular repositories Loading

1. hyperloglog hyperloglog Public

   C++ port(almost) of Probably.jl's hyperloglog

   C++ 4

2. dd dd Public

   Forked from tulip-control/dd

   Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy

   Python 2

3. ray-tracing ray-tracing Public

   A simple julia implementation of Ray Tracing in One Weekend.

   Julia 2

4. practice_programs practice_programs Public

   Some practice programs

   C++ 2

5. Reintroduction-to-proofs Reintroduction-to-proofs Public

   Reintroduction to proofs solutions.

   Lean 2

6. Probably_.jl Probably_.jl Public

   Forked from jakobnissen/Probably.jl

   Probabilistic data structures in Julia

   Julia 1