Pinned Loading

1. Camera-Roll-Android-App Camera-Roll-Android-App Public archive

   Simple Galley App for Android, with lovely Material Design.

   Java 488 114

2. knights_tour knights_tour Public

   Isabelle/HOL Formalization of "Knight's Tour Revisited" by Cull and De Curtins (1978)

   Isabelle 1

3. tsp tsp Public

   Formalizing Theory of Approximating the Traveling-Salesman Problem with Isabelle/HOL.

   Isabelle

4. safe-explorer safe-explorer Public

   PyTorch implementation of "Safe Exploration in Continuous Action Spaces" (Dalal et al., 2018)

   Python 9 2

5. CalendarWidget CalendarWidget Public

   Simple Android Calendar Widget for your homescreen

   Kotlin 13 3

6. flutter_unsplash flutter_unsplash Public

   Simple Unsplash (https://unsplash.com/) Client in Flutter

   Dart 32 9