refal-5-lambda
besm
refal-5-lambda | besm | |
---|---|---|
1 | 4 | |
76 | 23 | |
- | - | |
5.0 | 4.5 | |
6 months ago | 12 months ago | |
C++ | Haskell | |
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.
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
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.
What are some alternatives?
jet - A Fast C and Python like Programming Language that puts the Developer first. WIP
capri - A statically typed, general purpose programming language with an emphasis on functional programming and simplicity. Compiles to LLVM IR.
JuCC - JuCC - Jadavpur University Compiler Compiler
ape - Ape Programming Language
mewa - Compiler-compiler for writing compiler frontends with Lua
aith - [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions.
ShnooTalk - ShnooTalk is a new programming language
Ark - ArkScript is a small, fast, functional and scripting language for C++ projects
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.