Languages Features Creators CSV Resources Challenges Add Language
GitHub icon


guru - Programming language

< >

guru is a programming language created in 2009.

#2640on PLDB 14Years Old 0Books

OpTT has been implemented in the GURU verified programming language, which includes a type- and proof-checker, and a compiler to efficient C code. In addition to the core OpTT, GURU implements a number of extensions, including ones for verification of programs using mutable state and input/output. This paper gives an introduction to verified programming in GURU.

Example from the web:
Inductive trie : Fun(A:type).type := trie_none : Fun(A:type).<trie A> | trie_exact : Fun(A:type)(s:string)(a:A).<trie A> | trie_next : Fun(A:type)(o:<option A>) (unique l:<charvec <trie A>>). <trie A>.
grin.html 路 guru.html 路 iikuse.html

View source

- Build the next great programming language Search Day 214 About Blog Acknowledgements Traffic Traffic Today GitHub