kipos-lang / kiposLinks
let a million languages bloom
☆20Updated last month
Alternatives and similar repositories for kipos
Users that are interested in kipos are comparing it to the libraries listed below
Sorting:
- Light weight runtime for ReScript☆15Updated last year
- ☆14Updated last year
- my personal lang☆16Updated last year
- A lightweight performant JavaScript parser for Rust and WebAssembly☆21Updated 6 months ago
- Formal verification for TypeScript☆18Updated 2 years ago
- A frontend for the 1111 stable diffusion API☆18Updated 2 weeks ago
- An optic library for ReScript (OCaml and ReasonML)☆18Updated last year
- Official Unison extension for Visual Studio Code☆22Updated last year
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆26Updated this week
- Another attempt to realize my programming language☆23Updated 4 months ago
- Writing multicore programs with Reason☆15Updated 4 years ago
- a ML-style programming language based on the calculus of constructions type theory☆16Updated last month
- A compile-to-JavaScript language with tight TypeScript integration.☆22Updated last year
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆51Updated 3 months ago
- Documentation site for Melange☆27Updated last month
- Pure OCaml HTTP 1.1/2 & WebSocket server for Riot☆29Updated last year
- A minimal template for getting started with Revery☆11Updated 4 years ago
- Prototype for https://github.com/Innf107/vega☆19Updated 10 months ago
- TypeScript-like theorem prover☆38Updated last month
- 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
- A LISP interpreter written in ReasonML, targeting native and browser environments☆17Updated 6 years ago
- An elegant parser combinators library for Typescript (WIP!)☆29Updated last month
- ☆37Updated 3 years ago
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆44Updated 9 years ago
- Cara language compiler☆45Updated 2 weeks ago
- A Rust to OCaml source to source translator☆21Updated last year
- Unison Share's backend server☆24Updated this week
- ReScript JSON layer for building simple, typesafe, result-based parsers☆19Updated 3 years ago
- A library for building dynamic webapps, using Js_of_ocaml☆12Updated last week
- OCaml support☆20Updated 3 weeks ago