https://github.com/kipos-lang/kipos

let a million languages bloom
https://github.com/kipos-lang/kipos

haskell hindley-milner ocaml pldi popl racket-lang structured-editing type-inference

Last synced: 24 days ago
JSON representation

let a million languages bloom

• Host: GitHub
• URL: https://github.com/kipos-lang/kipos
• Owner: kipos-lang
• Created: 2025-03-20T02:00:44.000Z (about 1 month ago)
• Default Branch: main
• Last Pushed: 2025-04-08T02:18:18.000Z (26 days ago)
• Last Synced: 2025-04-08T03:22:16.141Z (26 days ago)
• Topics: haskell, hindley-milner, ocaml, pldi, popl, racket-lang, structured-editing, type-inference
• Language: TypeScript
• Homepage:
• Size: 1.27 MB
• Stars: 2
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: Readme.md
  • Roadmap: Roadmap.md

Awesome Lists containing this project

README

        

# Kipos

> Let a million languages bloom

Kipos is:

- from κήπος, greek for "garden".

- the language (development environment) for building the language you always wanted to use.

- a playground for experimenting with new type system, compiler, and syntax features.

- my attempt to advance the state of the art of programming language design.

![screenshot of kipos](./screenshot.png)

## How to get started

- `pnpm i`

- `cd one-world/sandbox; bun serve.ts`

and it should be somewhat usable? no promises though.

## Current status (4/7/25)

- [x] basic structured editing UI/UX

- [x] basic parsing, type inference, compilation, and evaluation of a "ground-level" language (it's javascript with a little sugar)

- [x] basic fixture testing support

- [x] debug sidebar for inspecting: the CST, the AST, the Type Inference (stepping debugger), and the output compiled javascript

Next up:

- [ ] macros and modules

- [ ] ffi

- [ ] custom ADTs in the ground-level language

- [ ] maybe submodules