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
  ☆267Updated last year
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆123Updated 3 months ago
• kserrec / lambda-core
  Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.
  ☆47Updated 8 months ago
• simmsb / calamity
  A library for writing discord bots in haskell
  ☆123Updated 5 months ago
• tsoding / haskell-json
  Source Code for JSON Parser Video
  ☆194Updated 2 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆303Updated 3 months ago
• agda / cornelis
  agda-mode for neovim
  ☆168Updated last week
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆91Updated 7 months ago
• discord-haskell / discord-haskell
  Haskell library for writing Discord bots
  ☆286Updated 2 months ago
• mstksg / advent-of-code
  🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
  ☆42Updated 9 months ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆165Updated 2 years ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆290Updated 3 weeks ago
• Gabriella439 / grace
  A prompt engineering functional programming language
  ☆460Updated this week
• devNegative-asm / TypeLisp
  Inspired by typelang, a lisp implemented in typescript's type engine
  ☆13Updated last year
• tsoding / haskell-music
  Source Code from "Making Music with Haskell" video
  ☆141Updated 5 years ago
• stedolan / counterexamples
  Counterexamples in Type Systems
  ☆402Updated 2 years ago
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆287Updated 2 years ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆466Updated 4 years ago
• augustss / MicroHs
  Haskell implemented with combinators
  ☆620Updated this week
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆403Updated this week
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆159Updated 5 years ago
• ccz181078 / Coq-BB5
  ☆345Updated last month
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆178Updated last month
• zilch-lang / specification
  A complete specification on Zilch and N⋆
  ☆11Updated 2 years ago
• johnyob / University-Notes
  A complete collection of my undergraduate notes
  ☆34Updated 3 years ago
• tsoding / HyperNerd
  Total Surveillance Automatic Ban Machine for Twitch and Discord
  ☆145Updated 5 years ago
• fourmolu / fourmolu
  A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
  ☆428Updated last week
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆35Updated last week
• smlhelp / book
  deployment for smlhelp page
  ☆41Updated 4 months ago
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆40Updated last year