Jakub Levý's repositories

leetcode

Solved leetcode problems using Prolog and Haskell

Language:HaskellLicense:GPL-3.0Stargazers:8Issues:0Issues:0

chocopkgs

Collection of my packages for Chocolatey.

Language:PowerShellLicense:MITStargazers:4Issues:2Issues:3

glucose-win

Windows builds for The Glucose SAT Solver.

Language:C++License:NOASSERTIONStargazers:3Issues:1Issues:1
Language:C#Stargazers:0Issues:0Issues:0

choco

Chocolatey - the package manager for Windows

Language:C#License:NOASSERTIONStargazers:0Issues:0Issues:0

czub-plakaty

Plakáty zbraní České zbrojovky v češtině

Stargazers:0Issues:1Issues:0

dotfiles

Personal dotfiles

Language:ShellLicense:GPL-3.0Stargazers:0Issues:0Issues:0

dualiza

Binaries for dualiza.

Language:CLicense:MITStargazers:0Issues:0Issues:0
Language:CStargazers:0Issues:1Issues:0
Language:C#Stargazers:0Issues:0Issues:0

rust-socketio

An implementation of a socket.io client written in the Rust programming language.

Language:RustLicense:MITStargazers:0Issues:0Issues:0

tauri-plugin-theme

Dynamically change Tauri App theme

Language:RustStargazers:0Issues:0Issues:0

vmp-anki

Scraper a balíček karet pro Anki na zkoušky VMP – Vůdce malého plavidla

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

webbots

Collection of simple and handy webbots

Language:JavaScriptLicense:GPL-3.0Stargazers:0Issues:0Issues:0

winrice

My rice for Windows

Language:PowerShellLicense:GPL-3.0Stargazers:0Issues:0Issues:0