2 results found Sort:

ilevd
cwp ilevd
1
57
other
4
Indentation-based syntax for Clojure
python syntax clojure funcional-programming programming-language-design programming-language-concepts
Created 2024-11-09
44 commits to main branch, last one about a month ago
Soonad
Formality-Core Soonad
11
41
mit
7
Specification of the Formality proof and programming language
formality type-system lambda-calculus programming-language funcional-programming
Created 2020-03-23
297 commits to master branch, last one 4 years ago