libletlib
winter
libletlib | winter | |
---|---|---|
1 | 2 | |
11 | 5 | |
- | - | |
0.0 | 7.0 | |
over 2 years ago | 4 months ago | |
C++ | C++ | |
BSD 2-clause "Simplified" License | MIT License |
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.
libletlib
-
C++ Show and Tell - Experiment
Its Pythonic/F# syntax in C++. Born out of a tool library for my other projects. https://github.com/libletlib/libletlib
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?
osmanip - A cross-platform library for output stream manipulation using ANSI escape sequences.
noname - Noname: a programming language to write zkapps
dmpower - Interactive terminal D&D helper toolbox program for Dungeon Masters, players, and worldbuilders.
verse - The Verse Programming Language
gpgpu-loadbalancerx - Simple load-balancing library for balancing GPGPU workloads between a GPU and a CPU or any number of devices in a computer or multiple computers.
hof - Higher-order functions for c++
SHA256-Implementation - A program that implements the SHA256 algorithm and generates the binary+hexdigest of a string input.
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.
stu - Build automation
woo - A fast non-blocking HTTP server on top of libev
tser - tser - tiny serialization for C++
cue - The home of the CUE language! Validate and define text-based and dynamic configuration