vojtechstep Goto Github PK

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

agda-unimath

Univalent mathematics in Agda

aoc_2018

Attempts at solving Advent of Code 2018 challenges

apheleia-use-package.el

assam

Lemonbar manager

brownianmotion

OpenCV project for mathematics conference Math en Jeans

cansat2016

The Almighty Lobsters' submission to the European CanSat 2016 competition

catalean

computationaltrinitarianism

Source files for my semestral project and undergraduate thesis

configs

Collection of my personal Arch Linux setup

cuni-thesis-validator

A Docker 🐳 container with CUNI.CZ PDF/A validation profile

fish-shell

The user-friendly command line shell.

flake-templates

Collection of templates for projects based on nix flakes

gatsby-i18next-starter

Example repo for using i18next with gatsbyJS (this setup doesn't suck)

general.el

More convenient key definitions in emacs

graphiql

An in-browser IDE for exploring GraphQL. Now with authorization token support.

homotopy-pushouts

My master's thesis on formalization of homotopy pushouts

igloo.el

My Emacs setup (literally)

jscoq

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

jscoq-nix

Nix infrastructure for using jsCoq

k336_sablona

mdbook-catppuccin

🎊 Soothing pastel theme for mdBook

mdbook-katex

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

meetups

A community around PL at Prague.

misa

mlsat

Simple SAT solver written in OCaml

next.js-i18n-ssr

Example next.js setup with isomorphic intenationalization

next.js-server-config

Example next.js setup with isomorphic config loading