Pinned Loading

1. elm-mustache elm-mustache Public

   Mustache template specification in Elm

   Elm 3 1

2. libxclip libxclip Public

   If xclip/xsel was a C library

   C

3. min-terminal min-terminal Public

   Look mom, I made a terminal emulator!

   C

4. elm-embed elm-embed Public

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

   Haskell 17

5. proof-searching-for-ipc-in-agda proof-searching-for-ipc-in-agda Public

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

   Agda

6. pdf-template pdf-template Public

   TypeScript