Alternatives and similar repositories for kipos

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

• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
  ☆135Updated this week
• rescript-lang / std
  Light weight runtime for ReScript
  ☆15Updated 2 years ago
• saiashirwad / parserator
  An elegant parser combinators library for Typescript (WIP!)
  ☆46Updated this week
• thegreatercurve / okapi
  A lightweight performant JavaScript parser for Rust and WebAssembly
  ☆21Updated 7 months ago
• TyOverby / sdui
  A frontend for the 1111 stable diffusion API
  ☆17Updated 2 weeks ago
• formal-land / coq-of-ts
  Formal verification for TypeScript
  ☆20Updated 2 years ago
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 3 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆53Updated 4 months ago
• VictorTaelin / Taelang
  my personal lang
  ☆16Updated last year
• aduarterengifo / ts-monkey
  effect monkey lang interpreter
  ☆12Updated 3 months ago
• andreypopp / reactor
  React Server Components (RSC) for OCaml
  ☆53Updated 10 months ago
• pachadb / pachadb
  an edge database
  ☆29Updated 10 months ago
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆45Updated 3 months ago
• unisoncomputing / share-api
  Unison Share's backend server
  ☆24Updated last week
• melange-re / melange-re.github.io
  Documentation site for Melange
  ☆27Updated last month
• moonbit-community / cmark.mbt
  Cmark.mbt is a CommonMark toolkit for MoonBit.
  ☆26Updated last week
• 0xGlitchbyte / OCrab
  A Rust to OCaml source to source translator
  ☆21Updated last year
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 11 months ago
• chris-armstrong / funicular
  ReScript JSON layer for building simple, typesafe, result-based parsers
  ☆19Updated 3 years ago
• pcattori / ocaml-cheatsheet
  ☆14Updated last year
• suri-framework / nomad
  Pure OCaml HTTP 1.1/2 & WebSocket server for Riot
  ☆29Updated last year
• unisonweb / vscode-unison
  Official Unison extension for Visual Studio Code
  ☆22Updated this week
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 4 months ago
• effectsjs / effectsjs
  Algebraic Effects in Javascript
  ☆48Updated 2 years ago
• ekzhang / graphon
  🌌 A very small graph database (WIP, inactive)
  ☆23Updated 9 months ago
• fklr / graphmemes
  A zero-allocation, no-std grapheme cluster iterator
  ☆12Updated 3 months ago
• 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 4 months ago
• danprince / webassembly-wizardry
  🪄 Tiny challenges for learning WebAssembly
  ☆68Updated 5 months ago
• eudoxia0 / sm2
  The SM-2 algorithm.
  ☆21Updated 5 months ago
• cara-lang / compiler
  Cara language compiler
  ☆45Updated last month