Currently trying to determine whether to Coq or Agda...
-
Saab DK
- ninijura_art
Popular repositories Loading
-
docker-exercises
docker-exercises Public archiveForked from eficode-academy/docker-katas
Exercises for Code Accademy
Python
-
-
-
-
lecture_notes_digizentrum_2022
lecture_notes_digizentrum_2022 PublicSphinx doc files for first incarnation of "Einfürhung ins Programmieren".
OCaml
-
barnum-forer-test
barnum-forer-test PublicA facetious but eduactional use of the Barnum/Forer effect to make a 'magic' personality test.
JavaScript
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.