winter
A high-performance functional programming language, designed to be embedded in C++ applications (by glaretechnologies)
verse
The Verse Programming Language (by verse-lang)
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.
winter
Posts with mentions or reviews of winter.
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]
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.
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]
What are some alternatives?
When comparing winter and verse you can also consider the following projects:
noname - Noname: a programming language to write zkapps
libletlib - C++ framework for the impatient.
sicmutils - Computer Algebra, Physics and Differential Geometry in Clojure.
hof - Higher-order functions for c++
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.
woo - A fast non-blocking HTTP server on top of libev
cue - The home of the CUE language! Validate and define text-based and dynamic configuration