verse
The Verse Programming Language (by verse-lang)
noname
Noname: a programming language to write zkapps (by zksecurity)
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.
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.
verse
Posts with mentions or reviews of verse.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-03-18.
-
Verse programming language: HUGE update to doc: The Verse Calculus: a Core Calculus for Functional Logic Programming (Functional Logic language developed by Epic Games): Confluence proof of rewrite system, Updateable references and more !
That’s not the same language
- Beyond Functional Programming: The Verse Programming Language [pdf]
noname
Posts with mentions or reviews of noname.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-12-11.
-
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
What are some alternatives?
When comparing verse and noname you can also consider the following projects:
sicmutils - Computer Algebra, Physics and Differential Geometry in Clojure.
winter - A high-performance functional programming language, designed to be embedded in C++ applications
snarkOS - A Decentralized Operating System for ZK Applications
cue - The home of the CUE language! Validate and define text-based and dynamic configuration
darkfi - Anonymous. Uncensored. Sovereign.
proof-systems - The proof systems used by Mina
ZoKrates - A toolbox for zkSNARKs on Ethereum