padsproj / padsLinks
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
Sorting:
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last month
- ☆34Updated 5 years ago
- Reason about Term Rewriting Systems☆18Updated 3 years ago
- Some fun examples of solving problems with symbolic execution☆116Updated 7 years ago
- The Boomerang Bidirectional Programming Language☆76Updated 2 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 5 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- Haskell binding for PADS☆20Updated 6 years ago
- An attribute grammar-based programming language for composable language extensions☆66Updated this week
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 7 years ago
- Art of Prolog Code☆36Updated 6 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- SWI-Prolog dynamic C interface☆17Updated last year
- Randomized testing for Prolog à la QuickCheck☆23Updated 6 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- Editor for language composition☆58Updated 2 years ago
- A bare-bones blogging system, written in Prolog☆26Updated last year
- A model checker for safe Petri nets based on partial-order semantics☆13Updated 4 years ago
- Pawns functional/imperative programming language compiler etc☆11Updated 6 months ago
- The Pascal-F Verifier☆50Updated 8 years ago
- Interactive POetry Editor☆28Updated 4 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- A minimal Forth VM and Compiler implemented in PostScript☆29Updated 14 years ago
- The Definition of Standard ML, Revised (1997)☆116Updated 8 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Updated 2 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- Collapsing Towers of Interpreters☆91Updated 4 months ago
- Poplog☆21Updated 14 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago