PinnedLoading

1. elm-mustacheelm-mustachePublic

   Mustache template specification in Elm

   Elm 3 1

2. libxcliplibxclipPublic

   If xclip/xsel was a C library

   C

3. min-terminalmin-terminalPublic

   Look mom, I made a terminal emulator!

   C

4. elm-embedelm-embedPublic

   Read, parse and embed environment variables and file content into your Elm code.

   Haskell 17

5. proof-searching-for-ipc-in-agdaproof-searching-for-ipc-in-agdaPublic

   Agda Code/proofs for my bachelors thesis "A proof searching procedure for intuitionistic propositional logic in Agda"

   Agda

6. pdf-templatepdf-templatePublic

   TypeScript