Samuel Feitosa (@sfeitosa)
github

sfeitosa

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    16
  • Global Rank 735,430 (Top 26 %)
  • Followers 47
  • Following 1
  • Registered almost 7 years ago
  • Most used languages
    Haskell
         50.0 %
    Java
         25.0 %
    Agda     16.7 %
    HTML
         8.3 %
  • Location 🇧🇷 Brazil
  • Country Total Rank 16,678
  • Country Ranking
    Agda     5
    Haskell
         36
    Java
         6,522

Top repositories

1

fj-qc

QuickCheck property-based testing for Featherweight Java
Haskell
3
star
2

generic-crud-servant-persistent

A generic approach to create REST webservices for CRUD applications.
Haskell
3
star
3

json-gen

Generation of random JSON Schemas and Documents in Haskell
Haskell
2
star
4

tmp

Agda
2
star
5

poo-ex-cartao

Java
1
star
6

fp-lambda-base

Haskell
1
star
7

poo2

Java
1
star
8

SimpleInterpreter

Interpretador de Exemplo -- PLP2020
Haskell
1
star
9

java-gen

Type-driven Java program generator
HTML
1
star
10

servant-abstracting-similar-apis

Abstracting similar APIs with Servant.
Haskell
1
star
11

ITFJ

An intrinsically-typed formalization for Featherweight Java in Agda
Agda
1
star
12

poo-lista-revisao1

Java
1
star