refal-5-lambda
jet
refal-5-lambda | jet | |
---|---|---|
1 | 1 | |
76 | 42 | |
- | - | |
5.0 | 0.0 | |
6 months ago | about 1 year ago | |
C++ | C++ | |
GNU General Public License v3.0 or later | 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.
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
jet
-
Why Good Syntax Highlighting is Important
Snippet from Jet.
What are some alternatives?
JuCC - JuCC - Jadavpur University Compiler Compiler
mewa - Compiler-compiler for writing compiler frontends with Lua
coollang-2020-fs - Compiler of a small Scala subset
ShnooTalk - ShnooTalk is a new programming language
csvdiff - A fast diff tool for comparing csv files
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.
regal86 - Register Allocator for 8086
besm - Resurrecting PP-BESM
GUI-Turbo-Assembler - An essential 32-64bit localized IDE for Assembly Language with TASM, TASM32, TLINK, TLINK32, TD and TD32
APC - Arduino Pinball Controller
Ventilator - Fully-featured ICU ventilator design, optimized for manufacture using commonly available components and free to license. Repository tracks all mechanical, electrical and systems design, software, requirements and regulatory documentation.