Alternatives and similar repositories for polaris

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

• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆138Updated last month
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆86Updated last week
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆293Updated last week
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆65Updated 2 weeks ago
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆93Updated 8 months ago
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆85Updated 7 months ago
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆133Updated 5 months ago
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆256Updated 6 months ago
• ocaml-wasm / wasm_of_ocaml
  ☆279Updated last week
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆212Updated last week
• let-def / lwd
  Lightweight document
  ☆145Updated 2 months ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆78Updated 4 months ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆269Updated last year
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆181Updated 7 months ago
• samuela / bidirectional-typing
  A bidirectional type checker
  ☆66Updated 8 years ago
• nix-ocaml / nix-overlays
  OCaml-focused, custom nix-overlays
  ☆115Updated this week
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆227Updated last year
• gelisam / klister
  an implementation of stuck macros
  ☆149Updated 2 weeks ago
• qexat / ansifmt
  A simple, lightweight library for ANSI styling.
  ☆24Updated last month
• fir-lang / fir
  Fir programming language
  ☆81Updated last week
• kiranandcode / petrol
  Petrol's an OCaml SQL API made to go FAST.
  ☆126Updated last month
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆230Updated 2 months ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆75Updated 3 years ago
• thunderseethe / making-a-language
  Full Source Code for Making a Language series
  ☆56Updated 2 weeks ago
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆121Updated last year
• andreypopp / type-systems
  Playing with type systems
  ☆51Updated 11 months ago
• Khady / modern-ocaml
  Template for an ocaml project with modern tooling
  ☆89Updated 3 weeks ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• leostera / awesome-alt-langs
  Just a list of Awesome Alt Langs to check out
  ☆101Updated last year