

Eve
3 likes
Eve is a programming language and IDE that focuses on the human programmer rather than the machine. It uses a unique, document approach where programs look like documents with embedded code. Rather than comments, the programmer describes the code by way of structured text that...
Discontinued
Latest commit on Mar 20, 2018; See https://github.com/witheve/eve
Features
No features, maybe you want to suggest one?
Tags
- development
Eve News & Activities
Highlights All activities
Recent activities
Eve information
No comments or reviews, maybe you want to be first?
Post comment/reviewWhat is Eve?
Eve is a programming language and IDE that focuses on the human programmer rather than the machine. It uses a unique, document approach where programs look like documents with embedded code. Rather than comments, the programmer describes the code by way of structured text that is much easier to follow.
NOTABLE FEATURES
- The program is the database, so no plumbing or impedance mismatch, and no extra infrastructure is needed.
- Semantics built for concurrency, asynchrony, and distribution. No promises, thread synchronizations or borrows.
- Eve programs practice literate programming, since there’s no incidental ordering imposed by the language.
- Programs grow organically through composition.
- Programs are naturally tiny.
- Correctness can be defined globally through integrity constraints, allowing people to safely contribute to an application without worrying about checking every possible invariant locally.



