Alternatives and similar repositories for meetups

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

• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆109Updated last week
• LPTK / simple-sub
  Alternative algorithm for algebraic subtyping.
  ☆170Updated last month
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆197Updated this week
• ollef / rock
  Build system
  ☆124Updated last year
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆223Updated last year
• msp-strath / TypOS
  being an operating system for typechecking processes
  ☆128Updated 2 years ago
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
  ☆147Updated last month
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆178Updated 3 months ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆115Updated 2 years ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆264Updated 11 months ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆72Updated last week
• brendanzab / rust-nbe-for-mltt
  Normalization by evaluation for Martin-Löf Type Theory with dependent records
  ☆98Updated 3 years ago
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆165Updated last month
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆60Updated last year
• glebec / left-recursion
  Quick explanation of eliminating left recursion in Haskell parsers
  ☆51Updated 3 years ago
• lambduli / minilog
  A small logic programming language.
  ☆16Updated last year
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆144Updated 3 years ago
• duo-lang / duo-lang
  Duo - A research language exploring duality in programming language design
  ☆57Updated 2 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆54Updated 6 months ago
• wilbowma / pl-thesaurus
  ☆90Updated 3 years ago
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆29Updated last year
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆34Updated 2 months ago
• LPTK / simpler-sub
  Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…
  ☆27Updated 3 years ago
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆38Updated 2 years ago
• bollu / minitt
  bollu learns implementation of dependent typing
  ☆30Updated 2 years ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆108Updated last year
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆166Updated 2 months ago
• ucsd-progsys / liquid-fixpoint
  Horn Clause Constraint Solving for Liquid Types
  ☆150Updated 2 weeks ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago