kipos-lang / kipos
let a million languages bloom
☆15Updated last week
Alternatives and similar repositories for kipos:
Users that are interested in kipos are comparing it to the libraries listed below
- ReScript JSON layer for building simple, typesafe, result-based parsers☆19Updated 3 years ago
- a ML-style programming language based on the calculus of constructions type theory☆16Updated this week
- Light weight runtime for ReScript☆15Updated last year
- Writing multicore programs with Reason☆15Updated 4 years ago
- ☆14Updated last year
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆43Updated 2 months ago
- Documentation site for Melange☆27Updated last month
- an edge database☆28Updated 8 months ago
- Pure OCaml HTTP 1.1/2 & WebSocket server for Riot☆29Updated 11 months ago
- A frontend for the 1111 stable diffusion API☆18Updated this week
- Efficient, immutable, UTF friendly byte strings with Elixir-style pattern matching for OCaml☆15Updated 6 months ago
- OCaml support☆16Updated 3 months ago
- Formal verification for TypeScript☆16Updated 2 years ago
- A zero-allocation, no-std grapheme cluster iterator☆12Updated last month
- A pure OCaml library for manipulating colors in different color spaces.☆21Updated last year
- A lightweight performant JavaScript parser for Rust and WebAssembly☆21Updated 5 months ago
- TypeScript-like theorem prover☆36Updated 3 weeks ago
- Ratio and score for colors according to WCAG☆11Updated 4 years ago
- ☆13Updated last month
- Official Unison extension for Visual Studio Code☆22Updated last year
- An example to show JS users can use Rescript based library without using ReScript☆15Updated 4 years ago
- Exploring Concurrent ML in Reason☆18Updated 8 years ago
- OCaml plus Jane Street extensions☆74Updated 9 months ago
- Styling extension for ReScript.☆38Updated 3 years ago
- A LISP interpreter written in ReasonML, targeting native and browser environments☆17Updated 6 years ago
- An optic library for ReScript (OCaml and ReasonML)☆18Updated last year
- ☆36Updated 3 years ago
- A Rust to OCaml source to source translator☆21Updated last year
- Unison Share's backend server☆24Updated this week
- Reason bindings for Fluture.js☆11Updated 2 years ago