kipos-lang / kiposLinks
let a million languages bloom
β22Updated 9 months ago
Alternatives and similar repositories for kipos
Users that are interested in kipos are comparing it to the libraries listed below
Sorting:
- An experimental JavaScript runtime built with OxCaml and JavaScriptCoreβ93Updated 3 weeks ago
- π CCL: Categorical Configuration Language, The most elegant configuration languageβ250Updated 6 months ago
- A functional programming language with shell scripting capabilitiesβ131Updated last month
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examplesβ132Updated last year
- π A TUI for GitHubβ242Updated 6 months ago
- β91Updated 4 years ago
- Zero heap allocation HTTP server using OxCaml. v experimental!β119Updated 2 weeks ago
- π¦ Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontendβ¦β153Updated 7 months ago
- Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)β123Updated last year
- Interoperable effects based concurrencyβ142Updated 2 weeks ago
- A parser combinator library in TypeScriptβ32Updated last month
- OCaml Advent of Code starter projectβ63Updated 2 years ago
- An elegant parser combinators library for Typescript (WIP!)β48Updated 3 weeks ago
- β¨ Zero Bullshit Gitβ328Updated 4 months ago
- πͺ Tiny challenges for learning WebAssemblyβ67Updated last year
- Just a list of Awesome Alt Langs to check outβ102Updated last year
- A simple, lightweight library for ANSI styling.β24Updated 3 months ago
- a ML-style programming language based on the calculus of constructions type theoryβ24Updated 7 months ago
- A JS devtool orchestratorβ56Updated 2 weeks ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inferenceβ65Updated 2 months ago
- An example on how to write an incremental, concurrent, fault-tolerant compilerβ63Updated 7 months ago
- β55Updated last year
- Pure OCaml HTTP 1.1/2 & WebSocket server for Riotβ29Updated last year
- Light weight runtime for ReScriptβ15Updated 2 years ago
- β120Updated 2 years ago
- Cara language compilerβ50Updated 8 months ago
- Fir programming languageβ91Updated this week
- π Web app to help teach HM type inferenceβ22Updated 2 months ago
- React Server Components (RSC) for OCamlβ52Updated last year
- β139Updated last week