Pinned Repositories
latte
Compiler for java-like language
masters_thesis
Sandbox for multi-process applications for unprivileged users on Linux
mrjp-tests
Tests for compiler of java-like language from course Compiler construction
prover
first-order logic prover
przepisy-kulinarne
Moje przepisy kulinarne duże i małe (eng. My recipes big and small)
sim-project
Sim is an open source platform for carrying out algorithmic contests and programming classes. This repository contains all Sim projects as a monorepo.
VisuAlgo
C++ library for creating presentations visualizing how algorithms work
varqox's Repositories
varqox/sim-project
Sim is an open source platform for carrying out algorithmic contests and programming classes. This repository contains all Sim projects as a monorepo.
varqox/mrjp-tests
Tests for compiler of java-like language from course Compiler construction
varqox/VisuAlgo
C++ library for creating presentations visualizing how algorithms work
varqox/przepisy-kulinarne
Moje przepisy kulinarne duże i małe (eng. My recipes big and small)
varqox/img2tex
Converts images of simple LaTeX equations to LaTeX source
varqox/Calc
Calculator that uses unlimited numbers
varqox/masters_thesis
Sandbox for multi-process applications for unprivileged users on Linux
varqox/sim
Sim is an open source platform for carrying out algorithmic contests and programming classes.
varqox/chat
varqox/dotfiles
varqox/Judge-programs
Programs to test another programs
varqox/latte
Compiler for java-like language
varqox/prover
first-order logic prover
varqox/simlib
Sim C++ utility library
varqox/sip
A tool for preparing and managing Sim problem packages
varqox/unlint
Unlimited int library in C++
varqox/acmlib
My team's library for ACM ICPC (and alike) contests
varqox/Algorithmic-problems-solutions
Solutions to some problems I have solved
varqox/benchmarks
A set of simple benchmark programs that test spped of some features like different types of IPC or IO functions (scanf/cin)
varqox/ClangComplete
Clang completion for sublime
varqox/foldcomments
Sublime Text 2/3 plugin for folding (hiding) comments
varqox/lang
Language similar to Rust, but with extensive support for compile-time evaluation
varqox/makefile-utils
Makefile with a lot of useful utilities for building C/C++ projects
varqox/offline-sim-camp-setup-speedrun
How to setup offline sim camp (on Debian 11)
varqox/paczkarka
varqox/rust-rest-server
A simple REST server in Rust
varqox/sway
i3-compatible Wayland compositor
varqox/sway-focus-switcher
Switches focus between windows on the current workspace
varqox/sway-workspace-switcher
Server program that abstracts sway workspaces into layers of 2D grids and navigates through them
varqox/varqox.github.io