UoYCS-plasma / GP2
The rule-based graph programming language GP 2
☆66Updated 3 months ago
Related projects: ⓘ
- Bologna Optimal Higher-Order Machine, Version 1.1☆64Updated 7 years ago
- My unofficial picat http://picat-lang.org/ repository☆26Updated 8 months ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 4 years ago
- Animations of lambda term reduction sequences☆89Updated 6 years ago
- ☆28Updated this week
- Collapsing Towers of Interpreters☆87Updated 7 months ago
- Datalog + Egg = Good☆65Updated last year
- Apple array system☆53Updated this week
- A DSL for runtime code generation in racket☆66Updated 2 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆26Updated 6 years ago
- Dawn Phase 1 proto-language☆37Updated 3 years ago
- Operations with matrices, SWI pack☆12Updated 9 months ago
- Kanren with databases☆43Updated last month
- Bringing Prolog to the masses.☆35Updated 2 years ago
- A high-level programming language☆35Updated last week
- The Higher ORder INtermediate representation - next gen☆46Updated 4 months ago
- DocLog builds documentation from source code in Prolog☆22Updated last month
- SPSC: A Small Positive Supercompiler☆33Updated 4 months ago
- ☆37Updated last month
- A relational interpretation of Lojban☆31Updated last week
- The Brown Benchmark for Table Types (B2T2)☆61Updated 3 months ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆30Updated 4 years ago
- (early experiments toward) a version-control system for structured data☆17Updated last year
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- A lisp dialect based on pattern matching and term rewriting☆40Updated 5 months ago
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆25Updated 2 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆133Updated last week
- The Twelf Programming Language☆105Updated last week
- Demo of a WAM Prolog implementation in Python☆71Updated last year