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 4 months ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆86Updated 2 weeks ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆132Updated 4 months ago
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆91Updated 6 months ago
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆253Updated 5 months ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆290Updated last week
• kiranandcode / petrol
  Petrol's an OCaml SQL API made to go FAST.
  ☆126Updated last year
• nix-ocaml / nix-overlays
  OCaml-focused, custom nix-overlays
  ☆112Updated this week
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆61Updated this week
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆85Updated 6 months ago
• let-def / lwd
  Lightweight document
  ☆144Updated last month
• ocaml-wasm / wasm_of_ocaml
  ☆276Updated last month
• Khady / modern-ocaml
  Template for an ocaml project with modern tooling
  ☆89Updated last month
• robur-coop / miou
  A simple scheduler for OCaml 5
  ☆124Updated last week
• qexat / ansifmt
  A simple, lightweight library for ANSI styling.
  ☆23Updated last week
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆209Updated 2 weeks ago
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆179Updated 6 months ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆72Updated last year
• xvw / preface
  Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
  ☆152Updated 6 months ago
• tweag / opam-nix
  Turn opam-based OCaml projects into Nix derivations
  ☆140Updated 2 weeks ago
• brendanzab / ocaml-flake-example
  An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune
  ☆66Updated 11 months ago
• ocurrent / ocurrent
  Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)
  ☆148Updated 7 months ago
• cara-lang / compiler
  Cara language compiler
  ☆45Updated 5 months ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆269Updated last year
• remixlabs / wasicaml
  Translate OCaml bytecode to WebAssembly
  ☆133Updated 9 months ago
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆166Updated 3 weeks ago
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆224Updated last year
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated 2 years ago
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆121Updated last year