Pinned Repositories
aiui.github.io
challenge-elm
Challenge your ELM coding skills
dotfiles
elm-return
Writer powered pipelining for `(model, Cmd msg)`
form-validation
formalGrammar
exercises
gravity
Recursive
snake
mathiajusth's Repositories
mathiajusth/aiui.github.io
mathiajusth/challenge-elm
Challenge your ELM coding skills
mathiajusth/dotfiles
mathiajusth/elm-return
Writer powered pipelining for `(model, Cmd msg)`
mathiajusth/form-validation
mathiajusth/formalGrammar
exercises
mathiajusth/gravity
mathiajusth/ImageClassification
C525
mathiajusth/Recursive
mathiajusth/snake
mathiajusth/hivemind
coding challenge
mathiajusth/idris-comonad
An implementation of comonads in idris
mathiajusth/lang-in-elm
mathiajusth/mathiajusth.github.io
mathiajusth/MLP
mathiajusth/module_DataMatrices
exercises
mathiajusth/module_fractions
exercises
mathiajusth/nonempty-dict
Create a Dict that contains at least one key-value entry.
mathiajusth/NvChad
Blazing fast Neovim config providing solid defaults and a beautiful UI, enhancing your neovim experience.
mathiajusth/Problem-with-Records
mathiajusth/SimplyTypedLambdaCalculus
mathiajusth/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
mathiajusth/TowerOfHanoi
game
mathiajusth/website_matusledenyi
matusledenyi.000webhostapp.com