carstenschuermann

Pinned Repositories

celf
The Celf implementation of CLF
Language:Standard ML2 1 01
eos
EOS
00
sample
sample
00
celf
Language:Standard ML59 9 25
RLA
Risk Limiting Audits for Denmark
0 12 00
votetec
A simple voting system with trace-emitting computations, written in Java and integrated with Twelf.
Language:Java0 12 00
GrammaticalFramework
GrammaticalFramework
10
tinybot
Tinybot is a toy implementation of semi-naive bottom up logic programming
Language:Standard ML1 8 00

carstenschuermann's Repositories

carstenschuermann/celf
The Celf implementation of CLF
Language:Standard ML2 1 01
carstenschuermann/eos
EOS
00
carstenschuermann/sample
sample
00