moonbitlang / minimoonbit-public

Related projects ⓘ

Alternatives and complementary repositories for minimoonbit-public

• anqurvanillapy / lyzh
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆25Updated 3 months ago
• yuyan-lang / yuyan
  豫言
  ☆27Updated last week
• rowscript / rowscript
  RowScript programming language, making a better browser world
  ☆107Updated this week
• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆137Updated 4 months ago
• MarisaKirisame / zombie
  Zombie chan revive!
  ☆24Updated 8 months ago
• KonjacSource / ShiTT
  ShiTT is a toy proof assistant (almost).
  ☆27Updated 2 weeks ago
• AntonPing / norem-draft-2
  A modern functional programming language with effect system.
  ☆19Updated 6 months ago
• Trebor-Huang / HomotopyHistory
  ☆22Updated 8 months ago
• KirisameMagicShop / kirisamemagicshop.github.io
  ☆12Updated this week
• Guest0x0 / pruning-tutor
  a tutorial implementation on an elaborator of a dependently typed language with pruning
  ☆22Updated 2 years ago
• ice1000 / anqur
  Elaboration with inductive types
  ☆16Updated last year
• moonbit-community / cmark
  A CommonMark toolkit for MoonBit.
  ☆10Updated this week
• Lean-zh / fp-lean-zh
  Lean 函数式编程
  ☆26Updated 3 months ago
• SchrodingerZhu / ReuseIR
  Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆15Updated last month
• moonbitlang / quickcheck
  Automatic testing of MoonBit programs
  ☆15Updated 3 weeks ago
• imkiva / valheim
  Just for fun riscv64 emulator, which boots the Linux.
  ☆40Updated last year
• ProjectDimlight / RuCalculus
  入墨答Rumbda, the Chinese expression of lambda calculus
  ☆65Updated last year
• hgzhehe / iub_2009_P523_framework
  This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…
  ☆11Updated 3 years ago
• Trebor-Huang / history
  History of type theory (Chinese).
  ☆320Updated last year
• aya-prover / aya-dev
  A proof assistant and a dependently-typed language
  ☆280Updated this week
• ice1000 / guest0x0
  Neon lights in the night tonight and stars that shine in the open sky
  ☆43Updated 10 months ago
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆33Updated 2 years ago
• ice1000 / copilot-learning-materials
  My type-ups for copilot to learn from.
  ☆11Updated 2 years ago
• jegi / Beijing-exercises
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Updated last year
• cicada-lang / cicada-solo
  Cicada Language (solo version)
  ☆128Updated last week
• verif-scop / PolCert
  A verified polyhedral scheduling validator in Coq.
  ☆19Updated last month
• MarisaKirisame / DefComBlog
  ☆11Updated 2 years ago
• SemiObserver / Category-theory-materials
  非常的新鲜，非常的美味
  ☆24Updated last year
• moonbit-community / MoonbitNES
  A NES emulator in MoonBit
  ☆53Updated last week
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆48Updated 3 years ago