Discover @meditans Open Source projects

Carlo Nucera (@meditans)

meditans

Stars
45
Global Rank 367,370 (Top 13 %)
Followers 41
Registered over 11 years ago
Most used languages

Haskell
62.5 %

Prolog
18.8 %

Agda 6.3 %

Emacs Lisp
6.3 %

Clojure
6.3 %

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

preprocessor

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.

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