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
  ☆135Updated 3 months ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆80Updated last month
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆90Updated 6 months ago
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆131Updated 3 months ago
• ocaml-wasm / wasm_of_ocaml
  ☆270Updated 3 weeks ago
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆253Updated 4 months ago
• nix-ocaml / nix-overlays
  OCaml-focused, custom nix-overlays
  ☆112Updated this week
• let-def / lwd
  Lightweight document
  ☆143Updated last week
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆178Updated 5 months ago
• kiranandcode / petrol
  Petrol's an OCaml SQL API made to go FAST.
  ☆125Updated last year
• qexat / ansifmt
  A simple, lightweight library for ANSI styling.
  ☆23Updated 2 weeks ago
• xhtmlboi / yocaml
  YOCaml is a static site generator, mostly written in OCaml
  ☆140Updated last week
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆85Updated 5 months ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆287Updated this week
• tweag / opam-nix
  Turn opam-based OCaml projects into Nix derivations
  ☆138Updated last week
• robur-coop / miou
  A simple scheduler for OCaml 5
  ☆124Updated last week
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆61Updated this week
• remixlabs / wasicaml
  Translate OCaml bytecode to WebAssembly
  ☆133Updated 8 months ago
• thunderseethe / making-a-language
  Full Source Code for Making a Language series
  ☆52Updated 3 months ago
• kserrec / lambda-core
  Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.
  ☆45Updated 7 months ago
• xvw / preface
  Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
  ☆152Updated 6 months ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆148Updated last week
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆204Updated this week
• ocurrent / ocurrent
  Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)
  ☆147Updated 7 months ago
• Khady / modern-ocaml
  Template for an ocaml project with modern tooling
  ☆88Updated last month
• brendanzab / ocaml-flake-example
  An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune
  ☆66Updated 10 months ago
• ocaml-multicore / ocaml5-tutorial
  A hands-on tutorial on the new parallelism features in OCaml 5
  ☆211Updated last year
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆73Updated last year
• benfaerber / liquid-ml
  Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
  ☆47Updated 2 months ago