There are no reviews yet. Be the first to send feedback to the community and the maintainers!
reif
Ulrich Newmerkel's library for reified if, as a prolog packlogicExperiments
Proof of concept prover for a restricted sequent calculusunification-sop
Haskell package that implements typed terms with logical variables in a prolog-styleshaped
stack-reflex-webkitgtk
type_check
Copy of Tom Schrijvers' prolog library v 1.0.1, to make some improvementspreprocessor
Remove cpp annotations, to get the source ready for static analysis with a parsing library.ticTacNeat
documentator
Exploration of the design space for "(semi)automatic documentation" in haskell.hyper-relation
hasochismStudy
Implementation of the hasochism paperco-de-bruijn
imageSplit
Cut horizontal stripes from book scans and use them in spaced repetition softwareaoc2023
Solutions for advent of code 2023dotFiles
Configuration files for my environmentsLove Open Source and this site? Check out how you can help us