Gautier DI FOLCO (@blackheaven)
github

blackheaven

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    28
  • Global Rank 517,529 (Top 18 %)
  • Followers 31
  • Following 5
  • Registered almost 13 years ago
  • Most used languages
    Haskell
         58.8 %
    JavaScript
         11.8 %
    Nix
         11.8 %
    HTML
         5.9 %
    Java
         5.9 %
    Prolog
         5.9 %
  • Location 🇫🇷 France
  • Country Total Rank 11,868
  • Country Ranking
    Prolog
         30
    Nix
         58
    Haskell
         62
    Java
         5,943
    HTML
         6,428

Top repositories

1

hasec

Haskell security advisory tool-set
Haskell
4
star
2

grafana-dashboards.nix

Nix tool used to fetch and transform Grafana Dashboards
Nix
4
star
3

servant-streamly

Servant Stream support for streamly
Haskell
2
star
4

librarian

Move/rename according a set of rules.
Haskell
2
star
5

sudoku

Sudoku solvers
Prolog
2
star
6

dojo_14-04-10

Coding Dojo TDD/Immutabilité du CARA Lyon du 10 Avril 2014
JavaScript
1
star
7

blackheaven.github.io

HTML
1
star
8

kill-bool

Boolean strong typing
Haskell
1
star
9

links

Haskell
1
star
10

coc-hls

haskell-language-server coc.nvim extension
JavaScript
1
star
11

HaskellKata-RestaurantReservation

Haskell Code Kata on Reservations for a restaurant
Haskell
1
star
12

nix-template

Nix
1
star
13

property-based-testing

Some experiments to understand property based testing
Haskell
1
star
14

smoothmail

An attempt to provide a smooth mail DSL
Haskell
1
star
15

abaks

Abaks is an Haskell/PureScript project for personal bank reconciliation statements
Haskell
1
star
16

kata-battleships

Codurance’s Battleships Kata attempt done during Software Crafters Lyon Coding Dojo du midi 2021/11/05
Java
1
star
17

learn-crypto-hs

Lean cryptography through an Haskell implementation
Haskell
1
star