Pinned Loading

1. fm-notes fm-notes Public archive

   Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

   Coq 22 1

2. simurgh simurgh Public archive

   Dependently typed purely functional programming language

   Haskell 5 1

3. extremni-appka extremni-appka Public

   Teplotní extrémy v ČR

   TypeScript

4. electric-waltz electric-waltz Public

   🏭🗲🔌 A simple model of the Czech electricity grid

   Jupyter Notebook 1

5. sms sms Public

   Silly little WWW watchdog

   Python

6. bubble-chart bubble-chart Public

   An example of an interactive bubble chart (à la Hans Rosling) using React, D3.js and TypeScript

   TypeScript 3