MI-AFP (FIT CTU in Prague)

All

17 repositories

tutorials
Public
Materials for MI-AFP course tutorials
haskell functional-programming libraries idris typeclasses frameworks haskell-learning learning-haskell haskell-tutorial elm-tutorial
Creative Commons Attribution Share Alike 4.0 International
•2•12•0•0•Updated Apr 3, 2024Apr 3, 2024
elm-hw01
Public
Homework to practice Elm language and the basics of The Elm Architecture.
Elm
•
MIT License
•1•0•0•0•Updated Mar 11, 2024Mar 11, 2024
elm-examples
Public
Examples of using the Elm language
Elm
•
MIT License
•0•0•0•27•Updated Dec 14, 2022Dec 14, 2022
elm-hw02
Public
Homework to practice The Elm Architecture.
Elm
•
MIT License
•0•0•0•9•Updated Dec 9, 2022Dec 9, 2022
elm-webpack-boilerplate
Public
JavaScript
•0•0•0•17•Updated Dec 9, 2022Dec 9, 2022
hw06
Public
Homework to practice Foldable, Traversable, State/Parser, Monad Transformers and Combinators, Arrow, and Lens
travel geography quadtree traversable foldable homework lenses monad-transformers
Haskell
•
MIT License
•0•0•0•0•Updated Mar 23, 2021Mar 23, 2021
hw07
Public
Homework to practice IO basics, testing, and project documentation
io-monad quiz-app self-teaching cli homework practice-io
Haskell
•
MIT License
•0•1•0•0•Updated Feb 12, 2021Feb 12, 2021
hw05
Public
Homework to practice work with typeclasses
haskell functional functional-programming typeclass operators infix
Haskell
•
MIT License
•0•0•0•0•Updated Feb 12, 2021Feb 12, 2021
hw04
Public
Homework to practice types for text, containers, simple work with errors, and operators
haskell errors containers text string-manipulation strictness list-comprehension haskell-exercises
Haskell
•
MIT License
•1•0•0•0•Updated Feb 12, 2021Feb 12, 2021
hw03
Public
Homework to practice different ways of branching in Haskell and modularization
haskell modules functional-programming branching imports haskell-exercises
Haskell
•
MIT License
•0•0•1•0•Updated Feb 12, 2021Feb 12, 2021
hw02
Public
Homework to practice using and creating simple functions as well as data types
haskell types functional-programming functions haskell-exercises
Haskell
•
MIT License
•0•0•1•0•Updated Feb 12, 2021Feb 12, 2021
hw01
Public
First homework focused on Haskell basics with using GHCi, Hayoo, and Hoogle
haskell functional-programming ghci haskell-language hoogle hayoo haskell-exercises
Haskell
•
MIT License
•0•0•0•0•Updated Feb 12, 2021Feb 12, 2021
hw08
Public
Homework to create simple web service
MIT License
•0•0•0•0•Updated Apr 9, 2019Apr 9, 2019
fibonacci-performance
Public
Working with performance on Fibonacci numbers example
Haskell
•
BSD 3-Clause "New" or "Revised" License
•0•0•0•0•Updated Apr 2, 2019Apr 2, 2019
hw00
Public
Dummy homework for explanation and showing the workflow
github git workflow travis-ci dummy haskell-exercises
Haskell
•
MIT License
•0•0•0•0•Updated Feb 19, 2019Feb 19, 2019
old-hw10
Public
Homework to create simple reactive currency convertor
MIT License
•0•0•0•0•Updated May 3, 2018May 3, 2018
old-hw07
Public
Homework to practice Monoid, Functor, Applicative, and Monad
error-handling functors applicative-functors calculator homework monad functor practice-monoid
Haskell
•
MIT License
•0•0•0•0•Updated Apr 21, 2018Apr 21, 2018