Alternatives and similar repositories for kipos

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

• rescript-lang / std
  Light weight runtime for ReScript
  ☆15Updated last year
• pcattori / ocaml-cheatsheet
  ☆14Updated last year
• VictorTaelin / Taelang
  my personal lang
  ☆16Updated last year
• thegreatercurve / okapi
  A lightweight performant JavaScript parser for Rust and WebAssembly
  ☆21Updated 6 months ago
• formal-land / coq-of-ts
  Formal verification for TypeScript
  ☆18Updated 2 years ago
• TyOverby / sdui
  A frontend for the 1111 stable diffusion API
  ☆18Updated 2 weeks ago
• scoville / re-optic
  An optic library for ReScript (OCaml and ReasonML)
  ☆18Updated last year
• unisonweb / vscode-unison
  Official Unison extension for Visual Studio Code
  ☆22Updated last year
• moonbit-community / cmark.mbt
  Cmark.mbt is a CommonMark toolkit for MoonBit.
  ☆26Updated this week
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 4 months ago
• ManasJayanth / reason-on-multicore
  Writing multicore programs with Reason
  ☆15Updated 4 years ago
• qexat / lexie
  a ML-style programming language based on the calculus of constructions type theory
  ☆16Updated last month
• escalier-lang / escalier-rust
  A compile-to-JavaScript language with tight TypeScript integration.
  ☆22Updated last year
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆51Updated 3 months ago
• melange-re / melange-re.github.io
  Documentation site for Melange
  ☆27Updated last month
• suri-framework / nomad
  Pure OCaml HTTP 1.1/2 & WebSocket server for Riot
  ☆29Updated last year
• lessp / revery-minimal-template
  A minimal template for getting started with Revery
  ☆11Updated 4 years ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 10 months ago
• mjgrzymek / PeanoScript
  TypeScript-like theorem prover
  ☆38Updated last month
• 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 3 months ago
• jsdf / lisp.re
  A LISP interpreter written in ReasonML, targeting native and browser environments
  ☆17Updated 6 years ago
• saiashirwad / parserator
  An elegant parser combinators library for Typescript (WIP!)
  ☆29Updated last month
• jaredly / jerd
  ☆37Updated 3 years ago
• nwoeanhinnogaehr / algorithmw-rust
  A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.
  ☆44Updated 9 years ago
• cara-lang / compiler
  Cara language compiler
  ☆45Updated 2 weeks ago
• 0xGlitchbyte / OCrab
  A Rust to OCaml source to source translator
  ☆21Updated last year
• unisoncomputing / share-api
  Unison Share's backend server
  ☆24Updated this week
• chris-armstrong / funicular
  ReScript JSON layer for building simple, typesafe, result-based parsers
  ☆19Updated 3 years ago
• janestreet / bonsai_web
  A library for building dynamic webapps, using Js_of_ocaml
  ☆12Updated last week
• zed-extensions / ocaml
  OCaml support
  ☆20Updated 3 weeks ago