meditans/preprocessor

Stars
2
Language
Haskell
License
MIT License
Created over 8 years ago
Updated about 8 years ago

meditans/preprocessor

meditans

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Remove cpp annotations, to get the source ready for static analysis with a parsing library.

reif

Ulrich Newmerkel's library for reified if, as a prolog pack

logicExperiments

Proof of concept prover for a restricted sequent calculus

unification-sop

Haskell package that implements typed terms with logical variables in a prolog-style

shaped

stack-reflex-webkitgtk

type_check

Copy of Tom Schrijvers' prolog library v 1.0.1, to make some improvements

ticTacNeat

documentator

Exploration of the design space for "(semi)automatic documentation" in haskell.

portal-malli-visualizer

hasochismStudy

Implementation of the hasochism paper

hyper-relation

co-de-bruijn

imageSplit

Cut horizontal stripes from book scans and use them in spaced repetition software

aoc2023

Solutions for advent of code 2023

dotFiles

Configuration files for my environments