refal-5-lambda
LLVM-Guide
refal-5-lambda | LLVM-Guide | |
---|---|---|
1 | 2 | |
76 | 114 | |
- | - | |
5.0 | 4.7 | |
6 months ago | 4 months ago | |
C++ | 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.
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
LLVM-Guide
-
Tools and Resources for LLVM
A useful set of Tools & Learning Resources for LLVM.
- Useful Tools and Programs list for LLVM
What are some alternatives?
jet - A Fast C and Python like Programming Language that puts the Developer first. WIP
cppinsights - C++ Insights - See your source code with the eyes of a compiler
JuCC - JuCC - Jadavpur University Compiler Compiler
lsif-clang - Language Server Indexing Format (LSIF) generator for C, C++ and Objective C
mewa - Compiler-compiler for writing compiler frontends with Lua
faust - Functional programming language for signal processing and sound synthesis
ShnooTalk - ShnooTalk is a new programming language
snowball - [WIP] 🐱 Snowball is a low-weight, statically typed, object oriented programming language.
besm - Resurrecting PP-BESM
ccache - ccache – a fast compiler cache
ropfuscator - ROPfuscator is a fine-grained code obfuscation framework for C/C++ programs using ROP (return-oriented programming).
adorad - Fast, Expressive, & High-Performance Programming Language for those who dare