MI-AFP / tutorials
Materials for MI-AFP course tutorials
β12Updated 11 months ago
Alternatives and similar repositories for tutorials:
Users that are interested in tutorials are comparing it to the libraries listed below
- A declarative toy language inspired on set comprehensions.β18Updated 6 years ago
- Agda libraries relevant to Moonadβ14Updated 6 years ago
- π΅ A lisp REPL interpreter made in Haskellβ24Updated 5 years ago
- Work-in-progress functional dependently typed programming languageβ29Updated last year
- DEPRECATED: use https://github.com/MercuryTechnologies/moatβ23Updated 4 years ago
- Harmonize with coworkers around GitHub reviewing.β20Updated 3 weeks ago
- A simple example of integrating TypeScript and Haskell.β13Updated 3 years ago
- Registry of PureScript packages and metadata about themβ47Updated this week
- Safe printf-like formatting in purescriptβ37Updated 5 years ago
- Small lisp interpreter in Pythonβ9Updated 2 years ago
- Swift backend for PureScript.β64Updated 5 years ago
- Soluçáes dos problems do adventofcode.comβ13Updated 4 years ago
- Telegram Botβ10Updated 3 years ago
- Events, behaviors, and uneventful misbehavingβ16Updated 6 months ago
- A simple and fast Elm-like libraryβ13Updated last year
- π¨βπ« Educational purpose virtual machine to assembly Neander and Neander+β16Updated 6 years ago
- Presentations on Liquid Haskell, type theory, and moreβ45Updated 5 months ago
- The paranoid bot (framework)β53Updated 3 years ago
- A Haskell library for loading configuation data from environment variables.β17Updated 2 years ago
- Lens combinators for fused-effects.β17Updated 4 years ago
- Purescript ffi for the lazy joe π¦₯β15Updated 2 years ago
- A hooks library for purescript-halogenβ17Updated 3 years ago
- π Typeclass for monads that can be unlifted to arbitrary base monadsβ25Updated 3 years ago
- outline & examples for my ZuriHac 2020 talk, Languages All the Way Downβ20Updated 4 years ago
- β16Updated 2 years ago
- JVM implementation in Haskellβ44Updated 6 months ago
- Gameboy color emulator in Haskellβ9Updated 6 months ago
- Launch and manage your Tmux sessions from Dhall files.β17Updated 4 years ago
- Source code for haskle.netβ30Updated last year
- A parser for `git diff` in Elm. Also allows for highlighting of Elm / JSON files.β12Updated 4 years ago