Pinned Loading

1. PathComposer PathComposer Public

   Implements a compositional algorithm for computing shortest paths on weighted graphs

   Python 12

2. Code that regards a picture as a wei... Code that regards a picture as a weighted graph and finds the shortest paths which occur in a fixed number of steps.

   1

   import matplotlib.pyplot as plt

   2

   import numpy as np

   3

   import math 

   4

   from PIL import Image

   5

3. Gematria Gematria Public

   code experiments with hebrew gematria

   Python 1

4. Grothendieckconstruction.idr Grothendieckconstruction.idr

   1

   -- this file implements the Grothendieck construction and its inverse for functions i.e.\ the equivalence between functions f : X -> Set and functions \int f -> X. In the language of functional programming, this gives a reversible procedure for turning dependent types into function types.

   2

   3

   -- finite sets with n elements

   4

   5

5. TheCategoryMachine TheCategoryMachine Public

   Idris 1

6. Simulates the three-body problem in ... Simulates the three-body problem in Scala using doodle for animation and breeze for numerical integration.

   1

   import breeze.linalg._

   2

   import breeze.linalg.LU.primitive.LU_DM_Impl_Double

   3

   import doodle.core._

   4

   import doodle.java2d._

   5

   import doodle.syntax.all._