Juan Raphael Diaz Simรตes (@guaraqe)
github

guaraqe

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    18
  • Global Rank 684,145 (Top 24 %)
  • Followers 21
  • Following 3
  • Registered about 10 years ago
  • Most used languages
    Haskell
         61.5 %
    Nix
         15.4 %
    Idris     7.7 %
    HTML
         7.7 %
    Python
         7.7 %
  • Location ๐Ÿ‡บ๐Ÿ‡ฟ Uzbekistan
  • Country Total Rank 488
  • Country Ranking
    Idris     1
    Haskell
         2
    Nix
         3
    Python
         353
    HTML
         385

Top repositories

1

total-alternative

Alternative interface for total versions of partial Prelude functions
Haskell
2
star
2

do

A tool for defining command line interfaces in folders
Haskell
2
star
3

vector-builder-bench

Benchmark of vector builders
HTML
2
star
4

nonempty-alternative

Alternative generalization of NonEmpty lists.
Haskell
2
star
5

rlist

Lists with cheap snocs.
Haskell
2
star
6

pomodoro

Command line utility for the Pomodoro Method written in Haskell
Haskell
1
star
7

constraint-classes

Various type classes using ConstraintKinds
Haskell
1
star
8

gnuhealth-nix-docker

A configurable Docker deployment for GNUHealth using Nix
Nix
1
star
9

opengl-glfw-tutorial-haskell

OpenGL-GLFW Haskell Tutorial
Haskell
1
star
10

nix-example

Nix
1
star
11

abcdefgh

Python
1
star
12

LATS

Linear Algebra on Typed Spaces
Haskell
1
star
13

idris-exercises

Solution to some basic Idris exercises
Idris
1
star