Innf107 / polaris

Related projects ⓘ

Alternatives and complementary repositories for polaris

• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆177Updated last week
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆70Updated 5 months ago
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 3 months ago
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆94Updated this week
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆80Updated 4 months ago
• ocaml-wasm / wasm_of_ocaml
  ☆247Updated this week
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆65Updated 9 months ago
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆203Updated this week
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆51Updated last year
• kiranandcode / petrol
  Petrol's an OCaml SQL API made to go FAST.
  ☆113Updated last month
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆159Updated 3 weeks ago
• leostera / awesome-alt-langs
  Just a list of Awesome Alt Langs to check out
  ☆95Updated 7 months ago
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆172Updated 8 months ago
• let-def / lwd
  Lightweight document
  ☆132Updated 4 months ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆164Updated 5 months ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 3 years ago
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆109Updated last week
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆172Updated this week
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆254Updated 2 months ago
• gelisam / klister
  an implementation of stuck macros
  ☆132Updated 3 weeks ago
• nix-ocaml / nix-overlays
  OCaml-focused, custom nix-overlays
  ☆105Updated this week
• Khady / modern-ocaml
  Template for an ocaml project with modern tooling
  ☆76Updated last month
• cara-lang / compiler
  Cara language compiler
  ☆41Updated 3 weeks ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆73Updated 4 months ago
• ocaml-sys / ocaml-bindgen
  Automatically generates OCaml FFI bindings and C shim code to C/C++ libraries
  ☆33Updated 8 months ago
• kit-ty-kate / labrys
  A toy language based on LLVM that implements the System Fω type-system
  ☆103Updated last year
• remixlabs / wasicaml
  Translate OCaml bytecode to WebAssembly
  ☆130Updated last year
• dinosaure / esperanto
  build-once run-anywhere OCaml programs
  ☆133Updated 2 months ago
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆221Updated 9 months ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆30Updated 4 months ago