Discover @leuschel Open Source projects

Michael Leuschel (@leuschel)

leuschel

Stars
39
Global Rank 403,993 (Top 14 %)
Followers 28
Registered over 12 years ago
Most used languages

Prolog
71.4 %

Makefile 14.3 %

OpenEdge ABL 14.3 %

logen

Offline partial evaluation system for Prolog written using the cogen approach

ecce

Online partial evaluator for pure Prolog programs (with built-ins)

lix

Lix: A self-applicable partial evaluator for Prolog

bbedit-prob

BBedit Language Modules from the ProB Team

crowded-chessboard

Various models and solutions to the crowded chessboard puzzle from 1917

nu-logen

New version of the logen partial evaluation system for Prolog

logen-bta

A binding-time analysis (BTA) for the logen offline partial evaluator.