Refal-5-lambda Alternatives
Similar projects and alternatives to refal-5-lambda based on common topics and language
-
jet
A Fast C and Python like Programming Language that puts the Developer first. WIP (by The-NextGen-Project)
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
LLVM-Guide
LLVM (Low Level Virtual Machine) Guide. Learn all about the compiler infrastructure, which is designed for compile-time, link-time, run-time, and "idle-time" optimization of programs. Originally implemented for C/C++ , though, has a variety of front-ends, including Java, Python, etc.
-
xl
A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
refal-5-lambda reviews and mentions
-
ПП-BESM – a Soviet language (1955)
There were number of innovative but relatively obscure languages that came out of the first wave of cybernetics. Glushkov, one of Lyapunov's contemporaries who made a number of significant contributions to automata theory, created a language called Analytik [1], with early support for linear algebra and symbolic differentiation. REFAL is another language that emerged from the same era and still under active development [2]. At its foundation is an alternative and surprisingly rich algebraic theory of computation based on so-called word problems [3].
[1]: https://link.springer.com/content/pdf/10.1007/BF01070461.pdf
[2]: https://github.com/bmstu-iu9/refal-5-lambda
[3]: https://en.wikipedia.org/wiki/Word_problem_for_groups
Stats
bmstu-iu9/refal-5-lambda is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.
The primary programming language of refal-5-lambda is C++.
Popular Comparisons
Sponsored