noname
winter
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
noname
-
Beyond Functional Programming: The Verse Programming Language [pdf]
That's what I did in my own language[1], no shadowing allowed.
[1]: https://github.com/mimoo/noname
winter
-
Beyond Functional Programming: The Verse Programming Language [pdf]
I have also built a functional language, Winter (https://github.com/glaretechnologies/winter) that is used in our metaverse (https://substrata.info/).
A functional language has some advantages - because Winter programs can be bounded in space and time, we can efficiently execute untrusted scripts from users safely.
-
Lisp can be Hard Real Time [pdf]
My programming language Winter has bounded memory and space usage: https://github.com/glaretechnologies/winter, for at least a subset of the language.
What are some alternatives?
verse - The Verse Programming Language
libletlib - C++ framework for the impatient.
snarkOS - A Decentralized Operating System for ZK Applications
cue - The home of the CUE language! Validate and define text-based and dynamic configuration
hof - Higher-order functions for c++
darkfi - Anonymous. Uncensored. Sovereign.
xreg - Library and executables for modeling and registration applications in medical image analysis. Particular emphasis on intraoperative fluoroscopic (X-ray) navigation via 2D/3D registration.
proof-systems - The proof systems used by Mina
woo - A fast non-blocking HTTP server on top of libev
ZoKrates - A toolbox for zkSNARKs on Ethereum