Vojtěch Štěpančík (@VojtechStep)
github

VojtechStep

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    6
  • Global Rank 1,300,168 (Top 45 %)
  • Followers 20
  • Following 11
  • Registered about 9 years ago
  • Most used languages
    Emacs Lisp
         33.3 %
    Nix
         33.3 %
    TeX
         16.7 %
    Shell
         16.7 %
  • Location 🇨🇿 Czechia
  • Country Total Rank 4,051
  • Country Ranking
    Nix
         11
    Emacs Lisp
         20
    TeX
         153
    Shell
         812

Top repositories

1

jscoq-nix

Nix infrastructure for using jsCoq
Nix
2
star
2

igloo.el

My Emacs setup (literally)
Shell
1
star
3

vs-modeline.el

A minimalist modeline for Emacs
Emacs Lisp
1
star
4

apheleia-use-package.el

Emacs Lisp
1
star
5

ComputationalTrinitarianism

Source files for my semestral project and undergraduate thesis
TeX
1
star
6

flake-templates

Collection of templates for projects based on nix flakes
Nix
1
star