Alternatives and similar repositories for tutorials

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

• VictorTaelin / formality-agda-lib-legacy
  Agda libraries relevant to Moonad
  ☆14Updated 6 years ago
• nikivazou / presentations
  Presentations on Liquid Haskell, type theory, and more
  ☆45Updated last year
• deech / ATS-Strange-Loop-Talk
  ☆47Updated 8 years ago
• takanuva / coc
  Calculus of Constructions
  ☆17Updated 6 years ago
• relrod / ct
  My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
  ☆14Updated 6 years ago
• evertedsphere / sound-and-complete
  An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
  ☆84Updated 8 years ago
• robrix / Manifold
  Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.
  ☆18Updated 7 years ago
• idris-community / katla
  ☆21Updated 8 months ago
• wilbowma / multi-lang-comp
  a compiler from a lambda language to an assembly language, as a rewrite system
  ☆16Updated 4 months ago
• ekmett / haskell
  An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.
  ☆14Updated 5 years ago
• wenkokke / idris-sesh
  Session types in Idris2!
  ☆27Updated 5 years ago
• luizperes / cantor
  A declarative toy language inspired on set comprehensions.
  ☆18Updated 6 years ago
• mattpolzin / harmony
  Harmonize with coworkers around GitHub reviewing.
  ☆23Updated last week
• gallais / pearl-binary-search
  Functional Pearl: Certified Binary Search in a Read-Only Array
  ☆29Updated 4 years ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• ichistmeinname / free-proving
  Resources for "One Monad to Prove Them All"
  ☆29Updated 7 years ago
• deech / LeftPad
  ☆23Updated 8 years ago
• marigold-dev / easier-proofs
  A project which aim to help engineers to make proves easily
  ☆14Updated 3 years ago
• robrix / ui-effects
  An experiment towards a UI programming model inspired by algebraic effects.
  ☆30Updated 8 years ago
• mmcqd / higher-standard
  Higher kinded polymorphism in SML
  ☆15Updated 5 years ago
• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆37Updated this week
• stefan-hoeck / idris2-hedgehog
  An Idris port of the Haskell Hedghog library
  ☆35Updated 2 months ago
• cenary-lang / cenary
  A Language and its compiler on Ethereum Virtual Machine
  ☆14Updated 7 years ago
• EduardoRFS / ppx_implicits
  ☆25Updated 4 years ago
• Trundle / idris-go
  A Go backend for Idris
  ☆15Updated 7 years ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• ziman / idris-data-frame
  Data frames for Idris 2
  ☆23Updated 3 years ago
• eayus / sirdi
  Package manager for Idris
  ☆37Updated 3 years ago
• chiroptical / ctfp-book-club
  Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski
  ☆26Updated 3 years ago
• Soonad / Formality-Haskell
  A Haskell implementation of the Formality language
  ☆18Updated 5 years ago