Pinned Loading

1. idd3 idd3 Public

   Propositional idea density from dependency trees.

   Python 6 3

2. simple-ml simple-ml Public

   Simple implementations of some basic learning algorithms I coded while studying for an ML course.

   R

3. mandelbrot_vulkan_cpp mandelbrot_vulkan_cpp Public

   Demo application that uses the Vulkan C++ API to draw a Mandelbrot fractal.

   C++ 6 1

4. smt-solver smt-solver Public

   A (very) small SAT solver.

   C++ 2