Jakub Levý's repositories
glucose-win
Windows builds for The Glucose SAT Solver.
Language:C#000
choco
Chocolatey - the package manager for Windows
Language:C#NOASSERTION000
czub-plakaty
Plakáty zbraní České zbrojovky v češtině
dotfiles
Personal dotfiles
Language:ShellGPL-3.0000
dualiza
Binaries for dualiza.
Language:CMIT000
Language:C#000
rust-socketio
An implementation of a socket.io client written in the Rust programming language.
Language:RustMIT000
tauri-plugin-theme
Dynamically change Tauri App theme
Language:Rust000
webbots
Collection of simple and handy webbots
Language:JavaScriptGPL-3.0000
winrice
My rice for Windows
Language:PowerShellGPL-3.0000