Juan Garcรญa-Garland (@jota191)
github

jota191

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    8
  • Global Rank 1,106,139 (Top 39 %)
  • Followers 15
  • Following 22
  • Registered almost 12 years ago
  • Most used languages
    Haskell
         100.0 %
  • Location ๐Ÿ‡บ๐Ÿ‡พ Uruguay
  • Country Total Rank 499
  • Country Ranking
    Haskell
         4

Top repositories

1

AspectAG

EDSL implementing strongly typed Attribute Grammars
Haskell
4
star
2

jota191

1
star
3

requirements

A small framework to manage user defined type errors.
Haskell
1
star
4

sat-solvers

Implementation of sat-solvers for propositional logic, comparing bruteforce and tableaux
Haskell
1
star
5

poly-rec

polykinded heterogeneous extensible records in Haskell
Haskell
1
star