Alternatives and similar repositories for kipos:

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

• qexat / lexie
  a ML-style programming language based on the calculus of constructions type theory
  ☆16Updated 3 weeks ago
• VictorTaelin / Taelang
  my personal lang
  ☆16Updated last year
• rescript-lang / std
  Light weight runtime for ReScript
  ☆15Updated last year
• zed-extensions / ocaml
  OCaml support
  ☆17Updated 4 months ago
• pcattori / ocaml-cheatsheet
  ☆14Updated last year
• ManasJayanth / reason-on-multicore
  Writing multicore programs with Reason
  ☆15Updated 4 years ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 9 months ago
• saiashirwad / parserator
  An elegant parser combinators library for Typescript (WIP!)
  ☆28Updated 3 weeks ago
• TyOverby / sdui
  A frontend for the 1111 stable diffusion API
  ☆18Updated this week
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆45Updated 2 months ago
• escalier-lang / escalier-rust
  A compile-to-JavaScript language with tight TypeScript integration.
  ☆22Updated last year
• qexat / ansifmt
  A simple, lightweight library for ANSI formatting with powerful features such as a element-based system for pretty-printing code in the t…
  ☆21Updated 2 months ago
• nwoeanhinnogaehr / algorithmw-rust
  A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.
  ☆44Updated 9 years ago
• formal-land / coq-of-ts
  Formal verification for TypeScript
  ☆18Updated 2 years ago
• suri-framework / nomad
  Pure OCaml HTTP 1.1/2 & WebSocket server for Riot
  ☆29Updated last year
• aripiprazole / trazodone
  🧪 | LLVM backend for HVM
  ☆23Updated last year
• scoville / re-optic
  An optic library for ReScript (OCaml and ReasonML)
  ☆18Updated last year
• unisoncomputing / share-api
  Unison Share's backend server
  ☆24Updated this week
• melange-re / melange-re.github.io
  Documentation site for Melange
  ☆27Updated this week
• moonbit-community / cmark.mbt
  Cmark.mbt is a CommonMark toolkit for MoonBit.
  ☆27Updated this week
• cara-lang / compiler
  Cara language compiler
  ☆45Updated 6 months ago
• rsms / dew
  Dew is a little programming language which targets the Lua virtual machine
  ☆25Updated this week
• ocaml-sys / ocaml-bindgen
  Automatically generates OCaml FFI bindings and C shim code to C/C++ libraries
  ☆33Updated last year
• andreypopp / reactor
  React Server Components (RSC) for OCaml
  ☆53Updated 8 months ago
• chris-armstrong / funicular
  ReScript JSON layer for building simple, typesafe, result-based parsers
  ☆19Updated 3 years ago
• davesnx / html_of_jsx
  Render HTML with JSX
  ☆35Updated this week
• IwanKaramazow / PipeFirst
  Fast pipe, pipe first as a syntax transform
  ☆27Updated 5 years ago
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆130Updated this week
• uds-psl / Prog
  ☆83Updated 3 years ago
• jaredly / jerd
  ☆37Updated 3 years ago