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:
- Haskell binding for PADS☆19Updated 5 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- ☆34Updated 4 years ago
- The Delphin Project☆10Updated 8 years ago
- The opentheory tool processes higher order logic theory packages☆16Updated 2 years ago
- The Boomerang Bidirectional Programming Language☆77Updated 2 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Boolean Constraint Solving in Prolog☆43Updated 5 months ago
- Maude Formal Environment☆17Updated 5 years ago
- Kanren with databases☆43Updated 10 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- Randomized testing for Prolog à la QuickCheck☆23Updated 5 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Extend Definite Clause Grammars for Prolog by the corresponding parse tree☆11Updated 2 years ago
- Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLi…☆22Updated 3 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆43Updated 5 years ago
- literate programming meets unison☆28Updated this week
- A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.☆20Updated 5 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 4 years ago
- First-order temporal logic programming with microKanren☆18Updated 7 years ago
- An automated theorem prover that uses Büchi automata.☆41Updated 3 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 7 years ago
- ☆19Updated 8 years ago
- Literate coq blog posts☆17Updated 9 years ago
- Matita (proof assistant) with embedded elpi☆13Updated 7 years ago
- Some fun examples of solving problems with symbolic execution☆113Updated 6 years ago
- SWI-Prolog dynamic C interface☆17Updated 8 months ago
- Provide a reference implementation for the TTM programming language.☆10Updated 10 years ago