moonbitlang / tree-sitter-moonbit

Related projects ⓘ

Alternatives and complementary repositories for tree-sitter-moonbit

• moonbitlang / wasm4
  A Wasm4 binding for MoonBit
  ☆13Updated this week
• moonbit-community / cmark
  A CommonMark toolkit for MoonBit.
  ☆10Updated this week
• zxch3n / moon-crdt
  ☆13Updated 3 weeks ago
• moonbitlang / quickcheck
  Automatic testing of MoonBit programs
  ☆16Updated this week
• andreypopp / type-systems
  Playing with type systems
  ☆46Updated 2 years ago
• moonbitlang / moonbit-RFCs
  RFCs of MoonBit lang
  ☆17Updated 7 months ago
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆47Updated 3 months ago
• OCamlPro / wasocaml
  ☆54Updated 3 weeks ago
• dbuenzli / cmarkit
  CommonMark parser and renderer for OCaml
  ☆46Updated 2 weeks ago
• anqurvanillapy / lyzh
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆25Updated 3 months ago
• tarides / ocaml-platform-installer
  The best way for developers to write software in OCaml
  ☆61Updated last year
• anhnguyen1618 / Tiger-ocaml-llvm-compiler
  A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code
  ☆27Updated 2 years ago
• Guest0x0 / trebor
  an implementation of Observational Type Theory (OTT) and more
  ☆26Updated 2 years ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆55Updated 2 years ago
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆94Updated this week
• Guest0x0 / pruning-tutor
  a tutorial implementation on an elaborator of a dependently typed language with pruning
  ☆22Updated 2 years ago
• semgrep / ocaml-tree-sitter-core
  OCaml code generator and runtime library for handling typed tree-sitter CSTs
  ☆22Updated 2 weeks ago
• flyfish30 / zig-cats
  A category and functional programing library for Zig language
  ☆23Updated this week
• AntonPing / norem-draft-2
  A modern functional programming language with effect system.
  ☆19Updated 7 months ago
• KonjacSource / ShiTT
  ShiTT is a toy proof assistant (almost).
  ☆28Updated 2 weeks ago
• yurug / menhir-error-recovery
  ☆17Updated 5 years ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆30Updated 4 months ago
• ice1000 / anqur
  Elaboration with inductive types
  ☆16Updated last year
• MatthewFluet / tree-sitter-sml
  Standard ML (SML) grammar for tree-sitter
  ☆14Updated 2 months ago
• camlp5 / camlp5
  Preprocessor / Pretty Printer for OCaml
  ☆74Updated last month
• muqiuhan / swallow
  A functional programming language
  ☆22Updated last month
• ocaml-community / cppo
  C-style preprocessor for OCaml
  ☆108Updated last week
• Yoorkin / rabbit-tea
  ☆11Updated this week
• janestreet / stdio
  Standard IO Library for OCaml
  ☆38Updated 3 months ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated last week