Pinned Loading

1. Type-Theory Type-Theory Public

   Functions defined using highly abstracted recursive machinery and propositions defined within the proofs-as-types paradigm.

   Agda

2. High-Level-Language-Compiler High-Level-Language-Compiler Public

   Compiler and virtual machine for a language which supports typed variables and functions.

   Haskell

3. Movement-Tracking-App Movement-Tracking-App Public

   GoPlot for Android features route mapping and graphical statistics; its intended use is to record runs, walks, cycles, etc.

   Java

4. Face-Recognition-Methods Face-Recognition-Methods Public

   Comparison of deep learning and hand-crafted methods for one-shot face recognition.

   MATLAB

5. Poetry-Generator Poetry-Generator Public

   GPT-2-based natural language processing system for generating poems and iteratively increasing their quality.

   Python 1

6. Unbeatable-Connect4-Game Unbeatable-Connect4-Game Public

   A turn-based adversarial game similar to tic-tac-toe with an AI that cannot lose.

   Haskell