Pinned Repositories
chocopkgs
Collection of my packages for Chocolatey.
glucose-win
Windows builds for The Glucose SAT Solver.
leetcode
Solved leetcode problems using Prolog and Haskell
jakublevy's Repositories
jakublevy/leetcode
Solved leetcode problems using Prolog and Haskell
jakublevy/chocopkgs
Collection of my packages for Chocolatey.
jakublevy/glucose-win
Windows builds for The Glucose SAT Solver.
jakublevy/AlphaWin-XS_keygen
jakublevy/choco
Chocolatey - the package manager for Windows
jakublevy/czub-plakaty
Plakáty zbraní České zbrojovky v češtině
jakublevy/dotfiles
Personal dotfiles
jakublevy/dualiza
Binaries for dualiza.
jakublevy/lexicon7-activator
jakublevy/netlimiter5-activator
jakublevy/rust-socketio
An implementation of a socket.io client written in the Rust programming language.
jakublevy/tauri-plugin-theme
Dynamically change Tauri App theme
jakublevy/vmp-anki
Scraper a balíček karet pro Anki na zkoušky VMP – Vůdce malého plavidla
jakublevy/webbots
Collection of simple and handy webbots
jakublevy/winrice
My rice for Windows