padsproj / pads
Pads format description language
☆21Updated 9 years ago
Alternatives and similar repositories for pads:
Users that are interested in pads are comparing it to the libraries listed below
- ☆34Updated 4 years ago
- The Boomerang Bidirectional Programming Language☆76Updated 2 years ago
- Extend Definite Clause Grammars for Prolog by the corresponding parse tree☆11Updated 2 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 11 months ago
- Interactive POetry Editor☆28Updated 3 years ago
- Haskell binding for PADS☆19Updated 5 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 2 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Automatically exported from code.google.com/p/full-maude☆16Updated last year
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 5 years ago
- Boolean Constraint Solving in Prolog☆42Updated 4 months ago
- ☆58Updated 11 years ago
- An automated theorem prover that uses Büchi automata.☆41Updated 3 years ago
- The Delphin Project☆10Updated 8 years ago
- Kanren with databases☆43Updated 8 months ago
- Tutorial for the CHR system☆16Updated 4 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- ☆19Updated 8 years ago
- purple: compiling a reflective language☆32Updated 6 months ago
- Yet another PEG parser combinator library and DSL☆56Updated last year
- Higher Order Prolog with Extensional Semantics☆53Updated 4 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Updated last week
- Maude Formal Environment☆17Updated 5 years ago
- the Meta-II VM in C☆19Updated 9 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- literate programming meets unison☆27Updated last year
- The MLtonLibrary repository☆36Updated 2 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated 3 weeks ago