PLDB
Top 1K
Features
Creators
Events
Podcasts
Books
Extensions
Interviews
Blog
Explorer
CSV
koi
<
>
home
edit
koi is a
programming language
created in
2010
.
#3827
on PLDB
16
Years Old
Homepage
Tags:
programming language
Early development of koi happened in
https://github.com/aarongough/koi/issues
HackerNews discussions of koi
title
date
score
comments
Show HN: Koi - a programming language that teaches language implementation.
09/29/2010
70
12
imandra.html
路 koi.html 路
kvsapi.html
PLDB
- Build the next great programming language
路
Add
路
Add Prompt
路
Issues
路
About
路
Search
路
Keywords
路
Livestreams
路
Labs
路
Resources
路
Acknowledgements
Built with Scroll v178.2.3