Rankings
Badges
/
schonfinkel
Rankings
Badges
Overview
Ranks
Repositories
Languages
Marcos Benevides
@schonfinkel
Refresh
Open GitHub
🇧🇷 Rondônia / Brazil
@terrateamio
Profile age: almost 10 years
Updated 7 days ago
150 followers • 276 following
Contacts
marcos.schonfinkel@gmail.com
schonfinkel.github.io
Organizations
Repositories
nixos-config
21
1
updated 10 days ago • age about 7 years
Nix
67.5%
Lua
17.8%
Emacs Lisp
13.6%
Just
1.0%
Minicurso-Linux
7
3
updated over 6 years ago • age almost 7 years
schonfinkel.github.io
6
1
updated 18 days ago • age over 4 years
TeX
48.4%
Emacs Lisp
24.9%
Nix
12.1%
Python
9.2%
F#
5.3%
exercism-shell
5
1
updated 13 days ago • age over 1 year
Nix
100.0%
fsharp-nix
Archived
2
0
updated about 1 year ago • age about 1 year
Nix
64.0%
Just
36.0%
interval.fs
2
0
1
updated about 1 year ago • age almost 2 years
F#
79.2%
Nix
13.1%
Just
7.7%
duino
1
0
updated over 1 year ago • age over 1 year
C++
72.3%
Nix
20.7%
Just
7.0%
Proof-Plaza
1
0
updated about 6 years ago • age almost 8 years
Coq
99.7%
Nix
0.3%
devshells
0
0
updated 9 months ago • age 10 months
Nix
39.2%
Gleam
32.4%
F#
18.0%
Just
10.4%
servers
0
0
updated over 2 years ago • age over 4 years
HCL
58.0%
Nix
42.0%
Show more - 10 of 11 shown
Contributions
2025
nixpkgs
2 PRs
+18
-3
Nix
22,215
17,058
terrateam
2 PRs
+109
-79
OCaml
991
44
354
lyceum
~14 PRs
+483
-300
Zig
315
10
5
sourcegres
1 PR
+4
-0
Nix
8
0
trashcan
3 PRs
+2,777
-1,067
Nix
4
1
rpc_server
1 PR
+20
-1
Erlang
2
0
migraterl
~8 PRs
+268
-232
Erlang
0
0
3
erlandono
2 PRs
+1,405
-826
Erlang
0
0
1
dont-rely-on-nulls.github.io
1 PR
+1
-1
JavaScript
0
0
2024
nixpkgs
3 PRs
+31
-45
Nix
22,215
17,058
Show more
