1

mmpp

Metamath in C++

C++

10

2

wotsap

Web of trust statistics and pathfinder

Python

5

3

asmc

GAP

5

4

liturgy

Software to compute dates in the Roman Catholic liturgic year.

Python

4

5

autonavx

AUTONAVx experiments

Python

3

6

aem

aem

HTML

2

7

bibbia2008

Utility per gestire e visualizzare la traduzione italiana del 2008 della Bibbia

Python

2

8

panda1

Platform for Architecture-Neutral Dynamic Analysis

C

1

9

til

Today I Learned

Python

1

10

mensa

Canteen time manager

Python

1

11

pks2wot

My experiments with pks2wot

Python

1