Discover @blackheaven Open Source projects

Gautier DI FOLCO (@blackheaven)

blackheaven

Stars
28
Global Rank 517,517 (Top 18 %)
Followers 31
Following 5
Registered almost 13 years ago
Most used languages

Haskell
58.8 %

Nix
11.8 %

JavaScript
11.8 %

HTML
5.9 %

Java
5.9 %

Prolog
5.9 %
Location 🇫🇷 France
Country Total Rank 11,868
Country Ranking

Prolog
28

Nix
52

Haskell
62

HTML
5,680

Java
6,224

JavaScript
9,997

hasec

Haskell security advisory tool-set

grafana-dashboards.nix

Nix tool used to fetch and transform Grafana Dashboards

servant-streamly

Servant Stream support for streamly

librarian

Move/rename according a set of rules.

sudoku

dojo_14-04-10

Coding Dojo TDD/Immutabilité du CARA Lyon du 10 Avril 2014

blackheaven.github.io

kill-bool

Boolean strong typing

links

coc-hls

haskell-language-server coc.nvim extension

HaskellKata-RestaurantReservation

Haskell Code Kata on Reservations for a restaurant

nix-template

property-based-testing

Some experiments to understand property based testing

smoothmail

An attempt to provide a smooth mail DSL

abaks

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

kata-battleships

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

learn-crypto-hs

Lean cryptography through an Haskell implementation