Carlo Nucera (@meditans)
github

meditans

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    45
  • Global Rank 365,254 (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 %

Top repositories

1

reif

Ulrich Newmerkel's library for reified if, as a prolog pack
Prolog
11
star
2

logicExperiments

Proof of concept prover for a restricted sequent calculus
Haskell
5
star
3

unification-sop

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

shaped

Haskell
3
star
5

stack-reflex-webkitgtk

Haskell
3
star
6

type_check

Copy of Tom Schrijvers' prolog library v 1.0.1, to make some improvements
Prolog
2
star
7

preprocessor

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

ticTacNeat

Haskell
1
star
9

documentator

Exploration of the design space for "(semi)automatic documentation" in haskell.
Haskell
1
star
10

portal-malli-visualizer

Clojure
1
star
11

hyper-relation

Haskell
1
star
12

hasochismStudy

Implementation of the hasochism paper
Haskell
1
star
13

co-de-bruijn

Agda
1
star
14

imageSplit

Cut horizontal stripes from book scans and use them in spaced repetition software
Haskell
1
star
15

aoc2023

Solutions for advent of code 2023
Prolog
1
star
16

dotFiles

Configuration files for my environments
Emacs Lisp
1
star