UoYCS-plasma / GP2Links
The rule-based graph programming language GP 2
☆68Updated last year
Alternatives and similar repositories for GP2
Users that are interested in GP2 are comparing it to the libraries listed below
Sorting:
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆30Updated 7 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- Apple array system☆67Updated 3 weeks ago
- Slog 1.0☆43Updated last year
- Kanren with databases☆44Updated last year
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆75Updated 8 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- CHR2 to SQL conversion☆14Updated 10 years ago
- An extended typed Lambda Calculus☆21Updated last year
- ☆34Updated 4 years ago
- A PEG that compiles itself.☆76Updated 14 years ago
- DocLog builds documentation from source code in Prolog☆28Updated 8 months ago
- Collapsing Towers of Interpreters☆91Updated 2 months ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated 2 weeks ago
- Operations with matrices, SWI pack☆13Updated last year
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Updated 3 weeks ago
- Art of Prolog Code☆36Updated 6 years ago
- An implementation of interaction nets as a forth-like language.☆36Updated 3 weeks ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 3 months ago
- Your happy place for learning APL☆16Updated 2 years ago
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆72Updated this week
- ☆56Updated 3 months ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 3 months ago
- Leibniz - a Digital Scientific Notation☆36Updated 4 months ago
- The Boomerang Bidirectional Programming Language☆77Updated 2 years ago
- Interpreter for the reversible functional language rFun☆36Updated 7 years ago