Pinned Repositories
astd-prob
ASTD Interpreter for the ProB model checker
bbedit-prob
BBedit Language Modules from the ProB Team
crowded-chessboard
Various models and solutions to the crowded chessboard puzzle from 1917
DPPD
Dozens of Problems for Partial Deduction
ecce
Online partial evaluator for pure Prolog programs (with built-ins)
eventb_gen
An experiment to see how easy it is to combine the ProB 2.0 EventB Model Generation API with the EventB Structural parser in order to create a simple application to generate EventB models from text files.
lix
Lix: A self-applicable partial evaluator for Prolog
logen
Offline partial evaluation system for Prolog written using the cogen approach
logen-bta
A binding-time analysis (BTA) for the logen offline partial evaluator.
nu-logen
New version of the logen partial evaluation system for Prolog
leuschel's Repositories
leuschel/logen
Offline partial evaluation system for Prolog written using the cogen approach
leuschel/ecce
Online partial evaluator for pure Prolog programs (with built-ins)
leuschel/lix
Lix: A self-applicable partial evaluator for Prolog
leuschel/bbedit-prob
BBedit Language Modules from the ProB Team
leuschel/crowded-chessboard
Various models and solutions to the crowded chessboard puzzle from 1917
leuschel/logen-bta
A binding-time analysis (BTA) for the logen offline partial evaluator.
leuschel/nu-logen
New version of the logen partial evaluation system for Prolog
leuschel/astd-prob
ASTD Interpreter for the ProB model checker
leuschel/DPPD
Dozens of Problems for Partial Deduction
leuschel/eventb_gen
An experiment to see how easy it is to combine the ProB 2.0 EventB Model Generation API with the EventB Structural parser in order to create a simple application to generate EventB models from text files.
leuschel/pl-json
A JSON library for SICStus Prolog