I like music, programming languages and studying. My passion it's beautiful and elegant a conception in programming languages, so I like Haskell and CL.
MusicBrainz. Implementation MusicBrainz API 2.0 (C#)
70Last.fm. Implementation last.fm on C# language
21hs-aitubots-api. Aitu Bot API for Haskell
6go-debug. go-debug is mode for easy go debug through Emacs.
4redasher. F# library for Redash API
3lambdacube. Implementation Lambda Calculus with other Type system: from untyped lambda up to lambda with dependency typed
2hlc. Hybrid Logical Clock
2k290-fnkeyctl. Configures the behaviour of the F-keys on the Logitech K290
1pyfuzzy. Port pyfuzzy on Python3 (include antlr3 v.3.1.4)
1go-tcpinfo. A little wrapper to make it easier to get a socket's tcpinfo stats in go
1qltl-pnf. Positive normal forms for counterpart-based temporal logics, with a standard non-categorical semantics
1GlobalSat-DataLogger-DGX. GlobalSat DG-100, DG-200
1