cowl

Netherlands

Pinned Repositories

ideas
Feedback services for intelligent tutoring systems
Language:Haskell00
net-prove
Academic theorem prover based on proof nets, focused on LG, written in Haskell.
Language:Haskell10
shape-detection
Implementation of the RANSAC algorithm for circle detection, written for the pattern recognition course.
Language:Java00
TPT-2014
Theory of Programming and Types, academic year 2014-2015
Language:Agda00
Grail0
Grail0 is a bare-bones proof net theorem prover for multimodal categorial grammars producing natural deduction output
Language:Prolog8 3 03

cowl's Repositories

cowl/net-prove
Academic theorem prover based on proof nets, focused on LG, written in Haskell.
Language:Haskell10
cowl/ideas
Feedback services for intelligent tutoring systems
Language:Haskell00
cowl/shape-detection
Implementation of the RANSAC algorithm for circle detection, written for the pattern recognition course.
Language:Java00
cowl/TPT-2014
Theory of Programming and Types, academic year 2014-2015
Language:Agda00