VojtechStep

jscoq-nix

Nix infrastructure for using jsCoq

apheleia-use-package.el

ComputationalTrinitarianism

Source files for my semestral project and undergraduate thesis

flake-templates

Collection of templates for projects based on nix flakes

igloo.el

My Emacs setup (literally)

vs-modeline.el

A minimalist modeline for Emacs

agda-unimath

Univalent mathematics in Agda

assam

Lemonbar manager

configs

Collection of my personal Arch Linux setup

vspkgs

My NUR repository

activity-watch-mode

Emacs plugin for automatic time tracking and metrics generated from your programming activity.

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-language-server

Language Server for Agda

fish-shell

The user-friendly command line shell.

general.el

More convenient key definitions in emacs

homotopy-pushouts

My master's thesis on formalization of homotopy pushouts

jscoq

A port of Coq to Javascript -- Run Coq in your Browser

k336_sablona

mdbook-catppuccin

🎊 Soothing pastel theme for mdBook

mdbook-katex

A preprocessor for mdBook, rendering LaTex equations to HTML at build time.

NUR

Nix User Repository: User contributed nix packages [maintainer=@Mic92]

opam-nix

pdf-tools

Emacs support library for PDF files.

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

selectrum

🔔 Better solution for incremental narrowing in Emacs.

straight.el

🍀 Next-generation, purely functional package manager for the Emacs hacker.

theia

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.

vte

Parser for virtual terminal emulators

vte-bench

zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.