PLDB
Top 1,000
Features
Creators
Resources
Blog
Explorer
Download
GitHub icon
Imandra Protocol Language
<
>
home
edit
Imandra Protocol Language is a
programming language
created in
2017
.
#4328
on PLDB
7
Years Old
Imandra Protocol Language website
Imandra Protocol Language first developed in
Aesthetic Integration Limited
Read more about Imandra Protocol Language on the web:
1.
hsaml-format.html
路 imandra.html 路
klisp.html
View source
PLDB
- Build the next great programming language
路
About
路
Acknowledgements
路
Extensions
路
Day 630
路
Donate
路
feedback@pldb.io