Iago Abal (@IagoAbal)
github

IagoAbal

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    73
  • Global Rank 261,080 (Top 9 %)
  • Followers 17
  • Registered about 11 years ago
  • Most used languages
    Haskell
         40.0 %
    C
         20.0 %
    OCaml
         20.0 %
    Alloy     20.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 53,362
  • Country Ranking
    Alloy     21
    OCaml
         241
    Haskell
         330

Top repositories

1

haskell-z3

Haskell bindings to Microsoft's Z3 API (unofficial).
Haskell
57
star
2

eba

EBA is a static bug finder for C.
OCaml
14
star
3

haskell-bv

Bit-vector arithmetic library for Haskell
Haskell
3
star
4

darcs-alloy

Specification of Darcs' Patch Theory Kernel in Alloy
Alloy
1
star
5

2017-vmcai

Submission to VMCAI 2017.
C
1
star