Alternatives and similar repositories for tutorials:

Users that are interested in tutorials are comparing it to the libraries listed below

• CLowcay / hgbc
  Gameboy color emulator in Haskell
  ☆9Updated 4 months ago
• SamuelSchlesinger / hs-ts
  A simple example of integrating TypeScript and Haskell.
  ☆13Updated 3 years ago
• wenkokke / idris-sesh
  Session types in Idris2!
  ☆27Updated 4 years ago
• nikivazou / EquationalReasoningInLiquidHaskell
  Derivation of Optimized Definitions Based on Specs
  ☆15Updated 5 years ago
• Z-snails / idris2-async
  Small async library for idris2, inspired by purescript-aff
  ☆8Updated 3 years ago
• VictorTaelin / formality-agda-lib-legacy
  Agda libraries relevant to Moonad
  ☆14Updated 5 years ago
• nikivazou / presentations
  Presentations on Liquid Haskell, type theory, and more
  ☆45Updated 3 months ago
• gallais / pearl-binary-search
  Functional Pearl: Certified Binary Search in a Read-Only Array
  ☆28Updated 3 years ago
• fused-effects / fused-effects-lens
  Lens combinators for fused-effects.
  ☆17Updated 4 years ago
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated 7 months ago
• kowainik / unlift
  🛗 Typeclass for monads that can be unlifted to arbitrary base monads
  ☆25Updated 3 years ago
• kcsongor / purescript-safe-printf
  Safe printf-like formatting in purescript
  ☆37Updated 5 years ago
• wenkokke / chez-scheme-hs
  Haskell bindings to Chez Scheme
  ☆10Updated last year
• polytypic / loko-ml
  Lower-Kinded Optics for OCaml
  ☆21Updated 2 years ago
• Zekt / Type-Embellishment
  Experimenting on ornamentation in Agda via reflection.
  ☆12Updated last year
• robrix / Manifold
  Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.
  ☆18Updated 6 years ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 4 years ago
• Trundle / idris-go
  A Go backend for Idris
  ☆15Updated 6 years ago
• Soonad / Formality-Haskell
  A Haskell implementation of the Formality language
  ☆18Updated 4 years ago
• purescript / purescript-validation
  Applicative-style validation
  ☆46Updated 2 years ago
• Drup / tree_layout
  Algorithms to layout trees in a pretty manner.
  ☆36Updated 2 years ago
• mattpolzin / harmony
  Harmonize with coworkers around GitHub reviewing.
  ☆20Updated last month
• celsobonutti / xipe-oito
  Chip8 engine emulator written in Rust, with both desktop (multiplatform) and WASM front-ends.
  ☆10Updated 3 years ago
• FreeProving / free-compiler
  A Haskell to Coq compiler that represents effectful programs with the free monad
  ☆44Updated 2 years ago
• tfausak / saturn
  Handle POSIX cron schedules.
  ☆9Updated this week
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆15Updated 7 months ago
• chessai / shwifty
  DEPRECATED: use https://github.com/MercuryTechnologies/moat
  ☆23Updated 3 years ago
• owickstrom / fast-and-fearless-evolution-of-server-side-webapps
  Slides and code examples for a talk
  ☆22Updated 7 years ago
• marigold-dev / easier-proofs
  A project which aim to help engineers to make proves easily
  ☆13Updated 2 years ago