besm
refal-5-lambda
| besm | refal-5-lambda | |
|---|---|---|
| 4 | 1 | |
| 23 | 76 | |
| - | - | |
| 4.5 | 5.0 | |
| 12 months ago | 6 months ago | |
| Haskell | C++ | |
| - | GNU General Public License v3.0 or later |
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.
besm
-
ПП-BESM – a Soviet language (1955)
I have a commented example: https://github.com/xldenis/besm/blob/master/examples/chapter...
I tried to transliterate the syntax to ascii but the 'real' syntax uses some characters which are hard to represent in monospace text.
refal-5-lambda
-
ПП-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
What are some alternatives?
capri - A statically typed, general purpose programming language with an emphasis on functional programming and simplicity. Compiles to LLVM IR.
jet - A Fast C and Python like Programming Language that puts the Developer first. WIP
ape - Ape Programming Language
JuCC - JuCC - Jadavpur University Compiler Compiler
aith - [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions.
mewa - Compiler-compiler for writing compiler frontends with Lua
Ark - ArkScript is a small, fast, functional and scripting language for C++ projects
ShnooTalk - ShnooTalk is a new programming language
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.