elpi
fastcode
Our great sponsors
elpi | fastcode | |
---|---|---|
4 | 18 | |
260 | 29 | |
1.9% | - | |
8.5 | 3.6 | |
7 days ago | almost 3 years ago | |
Prolog | C++ | |
GNU Lesser General Public License v3.0 only | Creative Commons Zero v1.0 Universal |
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.
elpi
-
Prototyping a Functional Language using Higher-Order Logic Programming
Also relevant, Elpi, which is used as an embedded lambda-Prolog inside Coq for metaprogramming.
-
Julia is missing 'pycall' for Rust
While elpi lambda prolog is a lot nicer feature-wise (e.g. it offers higher logic subsets) and also includes simple constraints, Scyer prolog is faster and includes more features.
-
Are there any OS projects of any substantial size at all that have been written in λProlog?
I've tried looking but can't find any besides the implementation repos themselves; specifically ELPI and Teyjus
- Would a type system be superfluous in Prolog?
fastcode
- FastCode, a programming language.
- FastCode
- FastCode Rewritten
- I made a program language
-
Rewrote FastCode
Here’s the link to the new source code.
-
FastCode, an interpreter
GitHub link
- FastCode - Initial Release
What are some alternatives?
clpz - Constraint Logic Programming over Integers
starlight - JS engine in Rust
jlrs - Julia bindings for Rust
konna - A fast functional language based on two level type theory
teyjus - An efficient implementation of the higher-order logic programming language Lambda Prolog
forthscript - Forthscript programming language interpreter
ciao - Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Matrix - Easy-to-use Scientific Computing library in/for C++ available for Linux and Windows.
scryer-prolog - A modern Prolog implementation written mostly in Rust.
Lithe-POC - Proof of concept of a functional reactive UI library.
pika - A WIP little dependently-typed systems language
wotpp - A small macro language for producing and manipulating strings.