mikecovlee / mozart

Related projects ⓘ

Alternatives and complementary repositories for mozart

• covariant-institute / dragon-vm
  The Dragon Virtual Machine.
  ☆10Updated 6 years ago
• libmozart / mozart
  Mozart++ Template Library, making up for the shortcomings of STL (standard template library).
  ☆7Updated 4 years ago
• Codgic / codgic-web-legacy
  A free, open-source Online Judge alternative. Coding Magic.
  ☆13Updated last year
• JustProject / JustVM
  Make JVM Slow Again
  ☆12Updated 7 years ago
• Cm-lang / Cmc
  the compiler for the Cm programming language
  ☆30Updated 6 years ago
• Z-Shang / LICPP
  Lisp Flavoured C++
  ☆29Updated 3 years ago
• thautwarm / idris-python
  Successor project: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• mikecovlee / covgl
  一个小型图形库
  ☆7Updated 6 years ago
• dramforever / frandre
  Functional Reactive Animation Drawing Environment
  ☆9Updated 7 years ago
• thautwarm / LanguageCollections
  programming languages invented/implemented by myself.
  ☆8Updated last year
• niltok / tesseract
  only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy
  ☆52Updated last year
• chuigda-wasteland / compilers-ckx
  The general purposed programming language ckx compiler
  ☆19Updated 3 years ago
• re-xyr / hemerocallis
  ~ Fabricated replica.
  ☆10Updated 2 years ago
• MarisaKirisame / algebraic_data_type
  ☆19Updated 9 years ago
• owo-lang / OwO
  Placeholder for the OwO compiler
  ☆59Updated 5 years ago
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 4 years ago
• thautwarm / LLAST
  A high level LLVM IR AST provider for GraphEngine JIT.
  ☆22Updated 6 years ago
• ice1k / ConsHoTT
  Constructive Interpretations of HoTT
  ☆36Updated 4 years ago
• lice-lang / lice
  A multi-paradigm programming language running on JVM
  ☆129Updated 6 years ago
• NatsuLang / NatsuLang
  ☆96Updated 5 years ago
• thautwarm / original-posting
  Original posting, a.k.a. OP, is an ALL-IN-ONE markup language for cyber wizards to create documentations and blog pages.
  ☆12Updated last year
• Seng-Jik / CloseGL
  A software renderer.
  ☆17Updated 3 years ago
• Glavo / kala-lang
  ☆13Updated 3 years ago
• covscript / covscript
  Make Programming Easier
  ☆225Updated last week
• RemuLang / sijuiacion-lang
  An IR for Python VM, provided with indirect jump instructions.
  ☆19Updated 4 years ago
• ice1000 / guest0x0
  Neon lights in the night tonight and stars that shine in the open sky
  ☆43Updated 11 months ago
• 9chu / parser_gen
  A LR(1) parser generator targeting C++17.
  ☆13Updated 4 years ago
• AntonPing / norem-draft-2
  A modern functional programming language with effect system.
  ☆19Updated 7 months ago