Pinned Repositories
agda-unimath
Univalent mathematics in Agda
ComputationalTrinitarianism
Source files for my semestral project and undergraduate thesis
flake-templates
Collection of templates for projects based on nix flakes
homotopy-pushouts
My master's thesis on formalization of homotopy pushouts
igloo.el
My Emacs setup (literally)
jscoq-nix
Nix infrastructure for using jsCoq
vs-modeline.el
A minimalist modeline for Emacs
VojtechStep's Repositories
VojtechStep/jscoq-nix
Nix infrastructure for using jsCoq
VojtechStep/apheleia-use-package.el
VojtechStep/ComputationalTrinitarianism
Source files for my semestral project and undergraduate thesis
VojtechStep/flake-templates
Collection of templates for projects based on nix flakes
VojtechStep/homotopy-pushouts
My master's thesis on formalization of homotopy pushouts
VojtechStep/igloo.el
My Emacs setup (literally)
VojtechStep/vs-modeline.el
A minimalist modeline for Emacs
VojtechStep/agda-unimath
Univalent mathematics in Agda
VojtechStep/assam
Lemonbar manager
VojtechStep/configs
Collection of my personal Arch Linux setup
VojtechStep/vspkgs
My NUR repository
VojtechStep/agda
Agda is a dependently typed programming language / interactive theorem prover.
VojtechStep/agda-language-server
Language Server for Agda
VojtechStep/catalean
VojtechStep/cuni-thesis-validator
A Docker 🐳 container with CUNI.CZ PDF/A validation profile
VojtechStep/docker-caching-test
VojtechStep/fish-shell
The user-friendly command line shell.
VojtechStep/general.el
More convenient key definitions in emacs
VojtechStep/home-manager
Manage a user environment using Nix [maintainer=@rycee]
VojtechStep/jscoq
A port of Coq to Javascript -- Run Coq in your Browser
VojtechStep/mdbook-catppuccin
🎊 Soothing pastel theme for mdBook
VojtechStep/mdbook-katex
A preprocessor for mdBook, rendering LaTex equations to HTML at build time.
VojtechStep/meetups
A community around PL at Prague.
VojtechStep/mlsat
Simple SAT solver written in OCaml
VojtechStep/NUR
Nix User Repository: User contributed nix packages [maintainer=@Mic92]
VojtechStep/oama
OAuth credential Manager
VojtechStep/opam-nix
VojtechStep/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
VojtechStep/theia
Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
VojtechStep/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.