Ioanna M Dimitriou H (@ioannad)
github

ioannad

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    35
  • Global Rank 438,984 (Top 16 %)
  • Followers 52
  • Following 47
  • Registered about 10 years ago
  • Most used languages
    Common Lisp
         75.0 %
    Isabelle     25.0 %
  • Location πŸ‡©πŸ‡ͺ Germany
  • Country Total Rank 19,935
  • Country Ranking
    Isabelle     6
    Common Lisp
         26

Top repositories

1

jeffrey

Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.
Common Lisp
24
star
2

NBG_HOL

A formalisation of NBG set theory in Isabelle/HOL
Isabelle
6
star
3

asd-graph

Graphs dependencies in the asd files of Common Lisp systems.
Common Lisp
3
star
4

lambda

A mirror of https://gitlab.common-lisp.net/idimitriou/lambda A toy interpreter and compiler of the untyped Ξ» calculus, written in common lisp.
Common Lisp
2
star