padsproj / padsLinks
Pads format description language
☆21Updated 10 years ago
Alternatives and similar repositories for pads
Users that are interested in pads are comparing it to the libraries listed below
Sorting:
- The Boomerang Bidirectional Programming Language☆78Updated 2 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated last week
- ☆34Updated 5 years ago
- Reason about Term Rewriting Systems☆18Updated 3 years ago
- Art of Prolog Code☆36Updated 6 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆57Updated 9 years ago
- Prolog implementation of microKanren☆44Updated 10 years ago
- Some fun examples of solving problems with symbolic execution☆116Updated 7 years ago
- The Pascal-F Verifier☆51Updated 8 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- ☆59Updated 12 years ago
- An attribute grammar-based programming language for composable language extensions☆68Updated last month
- Python term rewriting☆30Updated 12 years ago
- Collapsing Towers of Interpreters☆93Updated 7 months ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 6 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Updated 13 years ago
- A model checker for safe Petri nets based on partial-order semantics☆13Updated 5 years ago
- Haskell binding for PADS☆21Updated 6 years ago
- Datalog implemented in minikanren☆24Updated 8 years ago
- Real number computation software☆129Updated 3 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 8 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 5 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 9 years ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 13 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 8 years ago
- Automatically exported from code.google.com/p/full-maude☆16Updated 4 months ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- miniKanren for search, SMT for solving☆13Updated 6 years ago
- The Definition of Standard ML, Revised (1997)☆117Updated 8 years ago