Alternatives and similar repositories for is-even

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

• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆264Updated last year
• agda / cornelis
  agda-mode for neovim
  ☆162Updated 2 weeks ago
• simmsb / calamity
  A library for writing discord bots in haskell
  ☆123Updated 2 months ago
• tsoding / HyperNerd
  Total Surveillance Automatic Ban Machine for Twitch and Discord
  ☆144Updated 4 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆299Updated last week
• tsoding / haskell-music
  Source Code from "Making Music with Haskell" video
  ☆138Updated 4 years ago
• tsoding / haskell-json
  Source Code for JSON Parser Video
  ☆192Updated 2 years ago
• augustss / MicroHs
  Haskell implemented with combinators
  ☆561Updated this week
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆88Updated 4 months ago
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆282Updated 2 years ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆388Updated this week
• Gabriella439 / grace
  A prompt engineering functional programming language
  ☆419Updated this week
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆118Updated 3 weeks ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆276Updated this week
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆693Updated this week
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆164Updated 2 years ago
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆164Updated 3 months ago
• fourmolu / fourmolu
  A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
  ☆414Updated this week
• zyla / haskell-nullpointer
  NullPointerExceptions in Haskell
  ☆58Updated 8 years ago
• woodrush / lambda-8cc
  x86 C compiler written in untyped lambda calculus
  ☆664Updated 2 years ago
• ccz181078 / Coq-BB5
  ☆322Updated 4 months ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆464Updated 4 years ago
• haskell-game / tiny-games-hs
  Haskell Tiny Game Jam
  ☆168Updated last year
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆39Updated 10 months ago
• charlielidbury / ochre
  A systems theorem prover
  ☆11Updated last year
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆377Updated 7 months ago
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆179Updated 4 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆118Updated last year
• discord-haskell / discord-haskell
  Haskell library for writing Discord bots
  ☆281Updated this week
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆391Updated 2 years ago