Alternatives and similar repositories for king-typer

Users that are interested in king-typer are comparing it to the libraries listed below

• lunarcast / lunarbox
  Visual functional programming language
  ☆22Updated 2 years ago
• prescientmoon / erratic-gate
  (MIRROR) A logic gate simulator written in typescript
  ☆23Updated 6 months ago
• tsoding / haskell-music
  Source Code from "Making Music with Haskell" video
  ☆140Updated 5 years ago
• tsoding / lazy
  Source code from my Lazy Evaluation video
  ☆18Updated 5 years ago
• 05st / artemis
  Statically typed, high-level functional programming language.
  ☆17Updated 4 years ago
• 1Computer1 / errata
  Source code error pretty printing
  ☆50Updated last year
• andys8 / type-signature-com
  Who Wants to Be a Millionaire - but with types
  ☆89Updated 2 years ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated this week
• purefunctor / purescript-analyzer
  Compiler frontend for PureScript in Rust
  ☆80Updated this week
• tsoding / HyperNerd
  Total Surveillance Automatic Ban Machine for Twitch and Discord
  ☆146Updated 5 years ago
• tsoding / profun
  Procedural vs Functional
  ☆80Updated 6 years ago
• Ubspy / Haskell-Tetris
  Final project for EECS 368 written in Haskell
  ☆23Updated 4 years ago
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 3 years ago
• tsoding / haskell-json
  Source Code for JSON Parser Video
  ☆197Updated 2 years ago
• vivshaw / three-wise-monkeys
  You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?
  ☆35Updated 4 years ago
• tsoding / kgbotka
  Twitch/Discord Chat Bot that works for KGB monkaS
  ☆17Updated 5 years ago
• tsoding / rogalik
  Simple rogue-like game in Haskell
  ☆17Updated 4 years ago
• ThePuzzlemaker / tethys
  A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht
  ☆16Updated last year
• fengctor / octune
  A DSL for creating 8-bit style music
  ☆33Updated 2 years ago
• tsoding / aoc-2020
  Advent of Code 2020 in 25 Different Languages
  ☆118Updated last year
• wh5a / thih
  Typing Haskell in Haskell
  ☆15Updated 15 years ago
• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆31Updated 2 years ago
• mstksg / advent-of-code
  🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
  ☆51Updated last month
• simmsb / calamity
  A library for writing discord bots in haskell
  ☆123Updated 8 months ago
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆77Updated 2 years ago
• mstksg / advent-of-code-2020
  🎅🌟❄️☃️🎄🎁
  ☆99Updated last year
• tsoding / parcoom
  Parser Combinators of Monad
  ☆39Updated 5 years ago
• samuela / bidirectional-typing
  A bidirectional type checker
  ☆67Updated 8 years ago
• bradrn / brassica
  A featureful sound change applier for language construction
  ☆42Updated 3 months ago
• parsonsmatt / parsonsmatt.github.io
  My Github pages website
  ☆77Updated last month