Alternatives and similar repositories for tutorials

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

• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆12Updated 3 months ago
• mattpolzin / harmony
  Harmonize with coworkers around GitHub reviewing.
  ☆20Updated this week
• chessai / shwifty
  DEPRECATED: use https://github.com/MercuryTechnologies/moat
  ☆23Updated 4 years ago
• ekmett / haskell
  An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.
  ☆14Updated 4 years ago
• wilbowma / multi-lang-comp
  a compiler from a lambda language to an assembly language, as a rewrite system
  ☆16Updated last year
• VictorTaelin / formality-agda-lib-legacy
  Agda libraries relevant to Moonad
  ☆14Updated 6 years ago
• Zekt / Type-Embellishment
  Experimenting on ornamentation in Agda via reflection.
  ☆12Updated last year
• astrada / rxocaml
  An OCaml implementation of Rx Observables
  ☆33Updated 6 years ago
• matteo-meluzzi / agda2hvm
  ☆13Updated 2 years ago
• Soonad / Formality-Haskell
  A Haskell implementation of the Formality language
  ☆18Updated 5 years ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated 10 months ago
• luizperes / cantor
  A declarative toy language inspired on set comprehensions.
  ☆18Updated 6 years ago
• CLowcay / hgbc
  Gameboy color emulator in Haskell
  ☆9Updated 8 months ago
• vocal-project / vocal
  ☆49Updated 4 years ago
• SamuelSchlesinger / hs-ts
  A simple example of integrating TypeScript and Haskell.
  ☆13Updated 3 years ago
• gallais / pearl-binary-search
  Functional Pearl: Certified Binary Search in a Read-Only Array
  ☆28Updated 3 years ago
• metaborg / mj.agda
  https://metaborg.github.io/mj.agda/
  ☆12Updated 4 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• takanuva / coc
  Calculus of Constructions
  ☆17Updated 5 years ago
• ocaml-dune / fiber
  ☆22Updated last year
• robrix / ui-effects
  An experiment towards a UI programming model inspired by algebraic effects.
  ☆30Updated 8 years ago
• dbuenzli / uuseg
  Unicode text segmentation for OCaml
  ☆24Updated 2 months ago
• 5outh / Molecule
  A tiny statically typed programming language
  ☆18Updated 10 years ago
• jashug / FormalizedCompilerAlgorithms
  Formalization in Coq of algorithms used in compilers for the Compiler.org project
  ☆15Updated 6 years ago
• dhil / pthandlers
  an encoding of affine effect handlers using pthreads
  ☆14Updated 2 years ago
• jonsterling / agda-zipper-machine
  An abstract machine using indexed containers and their zippers
  ☆14Updated 8 years ago
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆16Updated last month
• ichistmeinname / free-proving
  Resources for "One Monad to Prove Them All"
  ☆29Updated 6 years ago
• wenkokke / idris-sesh
  Session types in Idris2!
  ☆27Updated 4 years ago
• philzook58 / lens-algebra
  Type level algebraic "proofs" using lens combinators
  ☆19Updated 5 years ago