Alternatives and similar repositories for tutorials

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

• luizperes / cantor
  A declarative toy language inspired on set comprehensions.
  ☆18Updated 6 years ago
• celsobonutti / xipe-oito
  Chip8 engine emulator written in Rust, with both desktop (multiplatform) and WASM front-ends.
  ☆9Updated 4 years ago
• robrix / Manifold
  Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.
  ☆18Updated 6 years ago
• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆12Updated 5 months ago
• ichistmeinname / free-proving
  Resources for "One Monad to Prove Them All"
  ☆29Updated 6 years ago
• takanuva / coc
  Calculus of Constructions
  ☆17Updated 5 years ago
• mattpolzin / harmony
  Harmonize with coworkers around GitHub reviewing.
  ☆21Updated last month
• chessai / shwifty
  DEPRECATED: use https://github.com/MercuryTechnologies/moat
  ☆23Updated 4 years ago
• Trundle / idris-go
  A Go backend for Idris
  ☆15Updated 6 years ago
• SamuelSchlesinger / hs-ts
  A simple example of integrating TypeScript and Haskell.
  ☆13Updated 3 years ago
• wenkokke / chez-scheme-hs
  Haskell bindings to Chez Scheme
  ☆10Updated last year
• CLowcay / hgbc
  Gameboy color emulator in Haskell
  ☆9Updated 9 months ago
• astrada / rxocaml
  An OCaml implementation of Rx Observables
  ☆33Updated 6 years ago
• ekmett / haskell
  An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.
  ☆14Updated 4 years ago
• jashug / FormalizedCompilerAlgorithms
  Formalization in Coq of algorithms used in compilers for the Compiler.org project
  ☆15Updated 6 years ago
• Soonad / Formality-Haskell
  A Haskell implementation of the Formality language
  ☆18Updated 5 years ago
• EduardoRFS / ppx_implicits
  ☆25Updated 4 years ago
• metaborg / mj.agda
  https://metaborg.github.io/mj.agda/
  ☆12Updated 4 years ago
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated last year
• effectfully / STLC
  Dependently typed Algorithm M and friends
  ☆25Updated 7 years ago
• wilbowma / multi-lang-comp
  a compiler from a lambda language to an assembly language, as a rewrite system
  ☆16Updated last year
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• SimonJF / mbcheck
  Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
  ☆15Updated last month
• lpw25 / ocaml-typed-effects
  OCaml with typed algebraic effects
  ☆50Updated 6 years ago
• EduardoRFS / thing
  A programming language, aka a THING
  ☆10Updated 4 years ago
• Z-snails / idris2-async
  Small async library for idris2, inspired by purescript-aff
  ☆8Updated 3 years ago
• samueldurantes / haildo
  Toy programming language
  ☆19Updated last year
• FreeProving / free-compiler
  A Haskell to Coq compiler that represents effectful programs with the free monad
  ☆45Updated 3 years ago
• gallais / pearl-binary-search
  Functional Pearl: Certified Binary Search in a Read-Only Array
  ☆29Updated 4 years ago
• idris-community / katla
  ☆19Updated last month