Zoe Paraskevopoulou (@zoep)
github

zoep

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    33
  • Global Rank 458,219 (Top 16 %)
  • Followers 97
  • Following 25
  • Registered almost 13 years ago
  • Most used languages
    OCaml
         30.0 %
    Haskell
         20.0 %
    Coq     20.0 %
    Shell
         10.0 %
    Java
         10.0 %
    HTML
         10.0 %
  • Location πŸ‡¬πŸ‡· Greece
  • Country Total Rank 913
  • Country Ranking
    Coq     1
    OCaml
         3
    Haskell
         5
    Shell
         233
    HTML
         596
    Java
         597

Top repositories

1

LazyOcaml

Lazyness in Ocaml with Syntax Extensions
OCaml
5
star
2

jebus

The Jebus Lambda Calculus Interpreter
Haskell
5
star
3

safe-for-space

Formal proof that closure conversion with flat environments is safe for space.
Coq
4
star
4

CUTE-homework

Concolic testing for C programs
OCaml
4
star
5

PL2

Course Material for "Programming Languages II"
Coq
3
star
6

comparch

Shell
2
star
7

AI_project1

AI project implemented in Haskell
Haskell
2
star
8

bobcat

simple java servlets for ntua web applications course
Java
2
star
9

zoep.github.io

personal webpage
HTML
1
star
10

Euler-Lib

Complementary Library for Project Euler
OCaml
1
star