Pinned Loading

1. pebbling pebbling Public

   Graph Pebbling in Coq

   Coq 3 1

2. pi_language pi_language Public

   Esoteric programming language where everything is a channel.

   Go 4 1

3. star_semiring star_semiring Public

   *semiring library for Coq

   Coq 7 2

4. molview/molview molview/molview Public

   The code of MolView.org

   JavaScript 242 67

5. permutation_factors permutation_factors Public

   Purely functional permutation puzzle solver (Schreier-Sims-Minkwitz).

   Coq 6 1

6. skip_list skip_list Public

   A skip list in ML

   OCaml 3 1