Alternatives and similar repositories for fun:

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

• RemuLang / sijuiacion-lang
  An IR for Python VM, provided with indirect jump instructions.
  ☆19Updated 5 years ago
• owo-lang / intellij-dtlc
  IntelliJ plugin for several experimental programming languages here
  ☆35Updated 3 years ago
• lihaoyi / autojit
  ☆13Updated 6 years ago
• AntonPing / norem-draft-2
  A modern functional programming language with effect system.
  ☆19Updated 11 months ago
• ustc-pldpa / PFPL
  Practical Foundations for Programming Languages 2nd. R.Harper. Chinese Translation.
  ☆13Updated 6 years ago
• Glavo / kala-common
  A powerful, easy-to-use, modern Java core library for the future
  ☆63Updated 2 weeks ago
• Z-Shang / fpy
  Python module for composing computations
  ☆26Updated 2 weeks ago
• covariant-institute / dragon-vm
  The Dragon Virtual Machine.
  ☆10Updated 7 years ago
• Idris-zh / Idris-dev
  用作文档目的，翻译方式见 Issue #10
  ☆41Updated 6 years ago
• thautwarm / idris-python
  Successor project: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• bobzhang / MariOCaml
  ☆22Updated 7 years ago
• be5invis / idris-codegen-es
  Optimized JS codegen for Idris
  ☆54Updated 6 years ago
• zxch3n / moon-crdt
  ☆14Updated 5 months ago
• ice1000 / anqur
  Elaboration with inductive types
  ☆16Updated last year
• ice1000 / guest0x0
  Neon lights in the night tonight and stars that shine in the open sky
  ☆43Updated last year
• pku-dppl / TAPL-in-MoonBit
  MoonBit Port of Implementations for Pierce's Types and Programming Languages
  ☆59Updated last week
• ShisoftResearch / Dovahkiin
  Functional expressions interpreter and compiler infrastructure
  ☆21Updated 9 months ago
• owo-lang / MLPolyR
  The MLPolyR programming language, revived
  ☆24Updated 4 years ago
• prikhi / modern-compiler-implementation-ml
  Tiger Compiler from Modern Compiler Implementation in ML
  ☆25Updated 8 years ago
• tianyicui / golio
  Go! Lisp in OCaml
  ☆75Updated 12 years ago
• jcouyang / grokking-monad
  购买 https://gum.co/grokking-monad 在线阅读
  ☆102Updated last year
• ThoughtWorksInc / template.scala
  C++ Flavored Template Metaprogramming in Scala
  ☆40Updated 8 years ago
• HaskellZhangSong / Introduction_to_Haskell
  This is source code of my book.
  ☆67Updated 8 years ago
• flyfish30 / zig-cats
  A category and functional programing library for Zig language
  ☆28Updated 2 months ago
• owo-lang / OwO
  Placeholder for the OwO compiler
  ☆60Updated 6 years ago
• MarisaKirisame / algebraic_data_type
  ☆19Updated 9 years ago
• yuyan-lang / yuyan
  豫言
  ☆27Updated 5 months ago
• moonbit-community / cmark
  Cmark.mbt is a CommonMark toolkit for MoonBit.
  ☆26Updated this week
• MarisaKirisame / extensible-parser
  ☆11Updated last week
• Kaida-Amethyst / moonbit-llvm
  Write llvm in moonbit!
  ☆13Updated last week