Languages Features Creators Calendar CSV Resources Blog About Pricing Add Language
GitHub icon


Euclid - Programming language

< >

Euclid is a programming language created in 1970 by Butler Lampson.

#1560on PLDB 53Years Old 80Users
0Books 0Papers

Euclid is an imperative programming language for writing verifiable programs. It was designed by Butler Lampson and associates at the Xerox PARC lab in the mid-1970s. The implementation was led by Ric Holt at the University of Toronto and James Cordy was the principal programmer for the first implementation of the compiler. Read more on Wikipedia...

jinx.html 路 euclid.html 路 simons-basic.html

View source

- Build the next great programming language Search v2023 Day 205 Docs Acknowledgements Traffic Traffic Today Mirrors GitHub