Alternatives and similar repositories for meetups:

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

• msp-strath / TypOS
  being an operating system for typechecking processes
  ☆123Updated last year
• edwinb / Yaffle
  A core language and API for dependently typed languages
  ☆89Updated last year
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆53Updated 2 months ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 3 weeks ago
• duo-lang / duo-lang
  Duo - A research language exploring duality in programming language design
  ☆57Updated last year
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆166Updated last month
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 3 years ago
• agda / agda-language-server
  Language Server for Agda
  ☆105Updated last month
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆144Updated 3 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆79Updated 8 months ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆76Updated this week
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆36Updated 2 years ago
• stefan-hoeck / idris2-elab-util
  Utilities and documentation for exploring idirs2's new elaborator reflection.
  ☆79Updated last month
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆51Updated 7 months ago
• BebeSparkelSparkel / biparsing
  Bidirectional Parsing. Work in Progress
  ☆31Updated 3 months ago
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆125Updated last year
• idris-community / idris2-tls
  A portable idris2 implementation of TLS
  ☆32Updated 2 months ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆55Updated 8 months ago
• gshen42 / HasChor
  Functional choreographic programming in Haskell
  ☆90Updated last month
• NorfairKing / validity
  Validity and validity-based testing
  ☆158Updated last week
• Bodigrim / smallcheck
  Test your Haskell code by exhaustively checking its properties
  ☆136Updated last year
• bgamari / dhall-gitlab-ci
  A Dhall encoding of the GitLab CI configuration schema
  ☆47Updated last year
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆88Updated 5 months ago
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆23Updated last year
• bkomuves / toy-language-server
  Example language server (LSP) implementation for a toy language
  ☆60Updated 3 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• bollu / minitt
  bollu learns implementation of dependent typing
  ☆27Updated last year
• idris-community / inigo
  Inigo: A Package Manager for Idris2
  ☆61Updated 2 years ago
• haskell / error-messages
  ☆71Updated 2 years ago