C++ refal

Open-source C++ projects categorized as refal

C++ refal Projects

  • refal-5-lambda

    Компилятор Рефала-5λ

  • Project mention: ПП-BESM – a Soviet language (1955) | news.ycombinator.com | 2023-05-21

    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

  • 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.

    InfluxDB logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Index

Project Stars
1 refal-5-lambda 76

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com