Marcelo Sousa (@marcelosousa)
github

marcelosousa

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    55
  • Global Rank 319,043 (Top 11 %)
  • Followers 50
  • Following 3
  • Registered almost 14 years ago
  • Most used languages
    Haskell
         44.4 %
    Java
         22.2 %
    C++
         11.1 %
    C
         11.1 %
    SMT     11.1 %
  • Location πŸ‡ΉπŸ‡· TΓΌrkiye
  • Country Total Rank 19
  • Country Ranking
    SMT     1
    Haskell
         2
    C
         5
    Java
         5
    C++
         9

Top repositories

1

million-dollar-ideas

Flea market for million dollar ideas
17
star
2

descartes

descartes: the cartesian hoare logic prover
Java
12
star
3

llvmvf

LLVM Verification Framework
Haskell
9
star
4

safemerge

SafeMerge: Verification of Conflict Freedom in Program Merges
Java
6
star
5

poet

POET (Partial Order Exploration Tools)
C
5
star
6

session-types-agda

Session Types in Agda
3
star
7

soft-typing-python

Soft typer for Python
Haskell
1
star
8

parsersharing

An Haskell General Parsing Library for Sharing
Haskell
1
star
9

smtlib

SMT-Lib v2 Tools for Haskell and Agda
SMT
1
star
10

llvm-mutestgen

LLVM test case generation using Mutation
C++
1
star
11

strictness-analysis

Dead-code elimination for a functional language
Haskell
1
star
12

robin-preview

1
star