Explore @nilcons Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Lua

Crystal

R

Elixir

Nix

C++

Erlang

Emacs Lisp

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Scala

C++

Elm

Clojure

Lua

Java

MATLAB

Elixir

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇱🇧 Lebanon

🇹🇷 Türkiye

🇨🇺 Cuba

🇱🇾 Libya

🇧🇱 Saint Barthélemy

🇧🇯 Benin

🇰🇮 Kiribati

All Countries Compare Countries

nilcons.com (@nilcons)

nilcons

Stars
498
Global Org. Rank 23,965 (Top 8 %)
Registered almost 11 years ago
Most used languages

Haskell
37.5 %

Shell
16.7 %

C
12.5 %

Emacs Lisp
8.3 %

Agda 8.3 %

Python
4.2 %

Lua
4.2 %

Perl
4.2 %

Dockerfile
4.2 %
Location 🇨🇭 Switzerland
Country Total Rank 699
Country Ranking

Agda 1

Emacs Lisp
14

Haskell
24

Perl
34

Lua
65

Shell
104

Dockerfile
298

C
312

Python
895

firefox-hacks

How to make Firefox usable

emacs-use-package-fast

Discussion on how to achieve fast initialization of emacs using melpa with use-package

ghc-musl

Using GHC with musl libc to get true static linking

crypto-key-derivation

Document all the mess around bip32+bip39+bip44 and similar key generation schemes

hi2

haskell-indentation 2nd try

ceh

A guild for people who like Nix

haskell-tz

Haskell package shipping the standard time zone database & library to use with it

ipsec-stun-explain

A quick intro to IPSec on the kernel side with STUN and UDP hole punching

hflags

Command line flag parser for Haskell, conceptually very similar to Google's gflags

nics

Nilcons Slides - quality presentations from code

haskell-tzdata

Haskell package that distributes the standard time zone database

nc-indicators

CPU load and memory usage indicator "applet" for i3bar

lens-datetime

Lenses for Data.Time.* types

PrefetchFS

prefetchfs: a FUSE filesystem for prefetching big files on-demand (implemented in Haskell)

cgroup-infos

Knowhow on how to use cgroups on your desktop

agda-coq-intro

Practical Intro to Agda and Coq

windows-usability

Windows guide for []: power users

agda-coq-setup

Installation instructions and Docker image for Agda and Coq

gists

Code snippets and short notes from Nilcons

nilcons-i3-xfce

Patches and documentation for having a proper X session with xfce panel and i3-wm

low-latency-remote

How to have a low latency remote desktop with free software tools

zproxy

Persistent TCP connections

agda-coq-magyar

Agda és Coq szeminárium

tag-game

Simple tag game in Haskell

nics-hello

Starter template for presentations written with nics

jozsika

A simplified and customized version of Iosevka