Pinned Loading

1. joshuanianji.github.io joshuanianji.github.io Public

   My website's source code!

   Elm 5 1

2. idris-2-docker idris-2-docker Public

   Multi-arch Docker images for Idris 2

   Dockerfile 13 3

3. derivative derivative Public

   Symbolic Differentiation with Elm

   Elm 15

4. devcontainer-features devcontainer-features Public

   My custom devcontainer features

   Shell 4 6

5. secd-machine secd-machine Public

   An Interactive Compiler and Interpreter for the SECD Machine

   Elm 1