nachivpn / mt

Related projects ⓘ

Alternatives and complementary repositories for mt

• vrnithinkumar / ETC
  ETC
  ☆17Updated 3 years ago
• SimonJF / mbcheck
  Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
  ☆14Updated 2 months ago
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆57Updated 3 weeks ago
• pnwamk / sst-tutorial
  ☆16Updated 2 years ago
• elpinal / seqmod
  Full implementation of F-ing Modules, with the power of sequent calculus
  ☆20Updated 3 years ago
• lpw25 / ocaml-typed-effects
  OCaml with typed algebraic effects
  ☆48Updated 6 years ago
• xguerin / bitstring
  OCaml Bitstring - bitstring matching for OCaml
  ☆66Updated 7 months ago
• janestreet / sexp_pretty
  S-expression pretty-printer
  ☆21Updated 2 months ago
• zshipko / ocaml-rust-starter
  Getting started with ocaml-rs
  ☆31Updated 2 months ago
• amutake / actario
  Verification Framework for Actor Systems on Coq
  ☆29Updated 6 years ago
• jobjo / popper
  Property-based testing at ease
  ☆42Updated 3 years ago
• essdotteedot / distributed
  Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.
  ☆56Updated 4 years ago
• dbuenzli / uuseg
  Unicode text segmentation for OCaml
  ☆23Updated last week
• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆16Updated 4 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆13Updated 4 years ago
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 5 years ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 3 years ago
• c-cube / linol
  Wrapper around the OCaml `lsp` library to make it easier to write LSP servers
  ☆28Updated 2 weeks ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆35Updated this week
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆47Updated last month
• phase / dtt
  experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust
  ☆23Updated 8 months ago
• thery / hanoi
  Hanoi tower in Coq
  ☆24Updated last year
• groupoid / alonzo
  🧊 Типізоване ‏-ג‏‎числення
  ☆15Updated 8 months ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆30Updated 5 years ago
• dmbaturin / otoml
  TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)
  ☆49Updated 7 months ago
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆47Updated 3 months ago
• michallepicki / suber
  Algebraic Subtyping typechecking algorithms implemented in Erlang
  ☆11Updated 3 years ago
• okeuday / erlang_ml
  Erlang External Term Format for OCaml
  ☆29Updated last year
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• janestreet / higher_kinded
  A library with an encoding of higher kinded types in OCaml
  ☆39Updated 2 weeks ago