Pinned Loading

1. agda-regexp agda-regexp Public

   Experiemtn with agda and regular expressions

2. greeks greeks Public

   fooling around with the Greeks and sympy

   Jupyter Notebook

3. nixos-config nixos-config Public

   MY nixos configuration files. The structure was copied from another user, and I'm sorry but I forgot who

   Nix

4. slick-template slick-template Public template

   Forked from ChrisPenner/slick-template

   A template for quickly building sites with slick

   CSS

5. stack-machine stack-machine Public

   A small stack machine implementation in Idris 2

   Idris

6. dhall-bsd dhall-bsd Public

   Dhall