1. Carl Friedrich Bolz
  2. Pyrolog

Branches

Branch Behind Ahead Updated Pull request Builds Actions
default Main branch
valueprof 2 1
think-ahead 9 7
rip-out-varinterm 98 91
type-tag-terms 98 90
compress-terms2 98 72
minimal-specialization 98 22
tracing-support 197 67
trace-support 298 1
new 297 1
dcg-support 578 1
compress-terms 719 52
more-experiments 728 31
jit-playfield 728 30