Alternatives and similar repositories for is-even:

Users that are interested in is-even are comparing it to the libraries listed below

• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆153Updated 4 years ago
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆276Updated 2 years ago
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆262Updated 8 months ago
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆355Updated this week
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆390Updated 2 years ago
• simmsb / calamity
  A library for writing discord bots in haskell
  ☆115Updated 6 months ago
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆114Updated 3 months ago
• augustss / MicroHs
  Haskell implemented with combinators
  ☆473Updated this week
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆124Updated 4 years ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆221Updated this week
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆163Updated 2 years ago
• dmadisetti / sona.js
  a simple language with a 1000 character interpreter inspired by toki pona
  ☆79Updated 3 years ago
• andys8 / type-signature-com
  Who Wants to Be a Millionaire - but with types
  ☆89Updated last year
• stedolan / counterexamples
  Counterexamples in Type Systems
  ☆396Updated last year
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆657Updated 3 months ago
• Storyyeller / IntercalScript
  The IntercalScript programming language
  ☆137Updated 4 years ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆190Updated 2 years ago
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆84Updated 3 weeks ago
• Anut-py / h-raylib
  Haskell bindings for raylib
  ☆96Updated 5 months ago
• calypso-lang / calypso
  Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.
  ☆67Updated 11 months ago
• codereport / hoogle-translate
  ☆85Updated this week
• Omnikar / uiua-math
  Library of math functions for the Uiua programming language
  ☆24Updated this week
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆62Updated last year
• rmehri01 / thock
  ⌨️ A modern TUI typing game featuring online racing against friends.
  ☆93Updated 3 years ago
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆176Updated last month
• smlhelp / book
  deployment for smlhelp page
  ☆39Updated last month
• soupi / rfc
  My slides and compilation of resources.
  ☆152Updated 7 months ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆455Updated 4 years ago
• amethyst-lang / amethyst
  Amethyst is a systems language aimed at being simple, small, portable, and safe.
  ☆45Updated 11 months ago
• agda / cornelis
  agda-mode for neovim
  ☆152Updated 3 weeks ago