padsproj / pads
Pads format description language
☆20Updated 8 years ago
Related projects: ⓘ
- Haskell binding for PADS☆18Updated 5 years ago
- The Boomerang Bidirectional Programming Language☆71Updated last year
- ☆34Updated 3 years ago
- Automatically exported from code.google.com/p/full-maude☆15Updated 7 months ago
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 years ago
- The MLtonLibrary repository☆34Updated last year
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- ☆19Updated 7 years ago
- literate programming meets unison☆28Updated 4 months ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆25Updated 2 years ago
- purple: compiling a reflective language☆29Updated 2 years ago
- Literate coq blog posts☆16Updated 8 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆32Updated 3 months ago
- ☆51Updated last month
- SML Parser Combinator Library☆27Updated 8 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- adds an optional type system to J language☆21Updated 8 years ago
- Miller/pattern unification in Agda☆62Updated 10 years ago
- Reason about Term Rewriting Systems☆15Updated 2 years ago
- Prolog implementation of microKanren☆41Updated 9 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆18Updated 8 years ago
- αProlog☆16Updated last year
- Real number computation software☆120Updated 2 years ago
- Bidirectional Megamodel of Parsing, Tokenising, Stripping, Concatenating, Imploding, Exploding, Unparsing, Printing, Pretty-printing, For…☆17Updated 4 years ago
- A bare-bones blogging system, written in Prolog☆24Updated 7 months ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- Boolean Constraint Solving in Prolog☆38Updated last year
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 11 years ago
- The original Edinburgh LCF.☆23Updated 7 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 5 years ago