mathiajusth

λf. (λx. f(x x))(λx. f(x x))

Pinned Repositories

aiui.github.io
0 2 00
challenge-elm
Challenge your ELM coding skills
Language:Elm0 0 00
dotfiles
Language:Vim Script0 1 00
elm-return
Writer powered pipelining for `(model, Cmd msg)`
Language:Elm0 1 00
form-validation
Language:Elm00
formalGrammar
exercises
Language:Prolog0 1 00
gravity
Language:JavaScript00
Recursive
Language:Haskell0 1 00
snake
Language:Elm0 1 00

mathiajusth's Repositories

mathiajusth/aiui.github.io
0 2 00
mathiajusth/challenge-elm
Challenge your ELM coding skills
Language:Elm0 0 00
mathiajusth/dotfiles
Language:Vim Script0 1 00
mathiajusth/elm-return
Writer powered pipelining for `(model, Cmd msg)`
Language:Elm0 1 00
mathiajusth/form-validation
Language:Elm00
mathiajusth/formalGrammar
exercises
Language:Prolog0 1 00
mathiajusth/gravity
Language:JavaScript00
mathiajusth/ImageClassification
C525
Language:Python0 3 00
mathiajusth/Recursive
Language:Haskell0 1 00
mathiajusth/snake
Language:Elm0 1 00
mathiajusth/hivemind
coding challenge
Language:Elm
mathiajusth/idris-comonad
An implementation of comonads in idris
Language:Idris1 0
mathiajusth/lang-in-elm
Language:Elm2 0
mathiajusth/mathiajusth.github.io
mathiajusth/MLP
Language:Vim script1 0
mathiajusth/module_DataMatrices
exercises
Language:Haskell1 0
mathiajusth/module_fractions
exercises
Language:Python1 0
mathiajusth/nonempty-dict
Create a Dict that contains at least one key-value entry.
Language:Elm1
mathiajusth/NvChad
Blazing fast Neovim config providing solid defaults and a beautiful UI, enhancing your neovim experience.
Language:Lua
mathiajusth/Problem-with-Records
Language:Haskell1 0
mathiajusth/SimplyTypedLambdaCalculus
Language:Haskell1 0
mathiajusth/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Language:Emacs Lisp1 0
mathiajusth/TowerOfHanoi
game
Language:JavaScript
mathiajusth/website_matusledenyi
matusledenyi.000webhostapp.com
Language:HTML1 0