MI-AFP / tutorials

Related projects ⓘ

Alternatives and complementary repositories for tutorials

• nikivazou / presentations
  Presentations on Liquid Haskell, type theory, and more
  ☆44Updated 3 weeks ago
• SamuelSchlesinger / hs-ts
  A simple example of integrating TypeScript and Haskell.
  ☆13Updated 3 years ago
• paramander / mollie-api-haskell
  Mollie API client for Haskell http://www.mollie.com
  ☆20Updated 4 years ago
• hunt-framework / hayoo
  Hackage search engine
  ☆56Updated 6 years ago
• mattpolzin / harmony
  Harmonize with coworkers around GitHub reviewing.
  ☆20Updated last month
• robrix / ui-effects
  An experiment towards a UI programming model inspired by algebraic effects.
  ☆30Updated 7 years ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 2 months ago
• purescript / purescript-arrays
  Array utility functions
  ☆57Updated 9 months ago
• kcsongor / purescript-safe-printf
  Safe printf-like formatting in purescript
  ☆37Updated 5 years ago
• JustusAdam / marvin
  The paranoid bot (framework)
  ☆53Updated 2 years ago
• haskell / tar
  Reading, writing and manipulating ".tar" archive files.
  ☆40Updated 2 months ago
• CLowcay / hgbc
  Gameboy color emulator in Haskell
  ☆9Updated 2 months ago
• aristidb / http-types
  Generic HTTP types for Haskell (for both client and server code)
  ☆54Updated 11 months ago
• deech / LeftPad
  ☆23Updated 6 years ago
• chris-martin / haskell-aligned
  Haskell types lined up to highlight their similarities
  ☆31Updated 4 years ago
• ScrambledEggsOnToast / needle
  ASCII-fied arrow notation.
  ☆21Updated 7 months ago
• VictorTaelin / formality-agda-lib-legacy
  Agda libraries relevant to Moonad
  ☆14Updated 5 years ago
• Tehnix / MobileHaskellFun
  Project set up for playing around with mobile haskell
  ☆15Updated 6 years ago
• chessai / shwifty
  DEPRECATED: use https://github.com/MercuryTechnologies/moat
  ☆23Updated 3 years ago
• wenkokke / chez-scheme-hs
  Haskell bindings to Chez Scheme
  ☆10Updated last year
• lazamar / elm-architecture-haskell
  Implementation of the Elm Architecture in Haskell with parallel side effects
  ☆46Updated 5 years ago
• basile-henry / haze
  A small maze game
  ☆13Updated 7 years ago
• kritzcreek / nemo-lang
  A small procedural programming language that compiles to Wasm GC
  ☆12Updated this week
• TerenceNg03 / mueval
  A secure sandboxed Haskell interpreter for pure function evaluation
  ☆77Updated 7 months ago
• fendor / hsimport
  Extend the import list of a Haskell source file
  ☆38Updated 3 years ago
• chessai / semirings
  semirings and *-semirings of types in base/haskell-platform
  ☆40Updated 6 months ago
• paulyoung / pureswift
  Swift backend for PureScript.
  ☆64Updated 4 years ago
• patrickt / configurant
  A Haskell library for loading configuation data from environment variables.
  ☆17Updated 2 years ago
• simonmichael / quickbench
  Easily time one or more commands with one or more executables and show tabular results
  ☆21Updated 9 months ago
• fused-effects / fused-effects-lens
  Lens combinators for fused-effects.
  ☆17Updated 4 years ago