Tomáš Jašek's repositories
docker-xampp
Dockerfile to build an image containing XAMPP(MySQL + PHP + PHPMyAdmin) running on Debian system with SSH server
html-datetime-local
Parser for the HTML local datetime microsyntax (https://html.spec.whatwg.org/multipage/common-microsyntaxes.html#local-dates-and-times)
mclauncher-api
Tomsik68's Minecraft Launcher API. Documenting how minecraft launcher works & creating an API which will be able to work with custom launchers. Make sure to check out wiki!
maven-repo
Maven repository for packages in group sk.tomsik68
degeneric-macros
Rust macro that hides struct generics into trait associated types
vim-crystallite
Dark-looking theme for vim editor that tries to look colorful
rust-minimono
Sample layout for a Rust mini monorepo
developer-docs
Source code for Beyond Identity's Developer Docs. Anyone is welcome to contribute.
dotfiles
configuration files that turn "a desktop" into "~ sweet ~"
axum-tower
Demo of using the axum web framework with tower crate for composable handlers.
snmp-sim-rust
SNMP Simulator (Rust)
paperclip
WIP OpenAPI tooling for Rust.
demonstrate
Declarative Testing Framework
opentelemetry-rust
OpenTelemetry API and SDK for Rust
secret-service-rs
Rust library for interfacing with Secret Service API
notify-rust
☝️send desktop notifications from you rust app.
nesem
WIP emulator of NES
msteams-attendance
Easily check attendance at MS teams meeting
substrate-developer-hub.github.io
Substrate Documentation
simpleup
Upload files from any device to your computer. Needs python & flask
predator-smg-expose
Highly experimental C++ module for running Predator https://github.com/kdudka/predator on llvm and pulling resulting SMGs into C++
klee
KLEE Symbolic Virtual Machine
symbiotic
Symbiotic is a tool for verifying computer programs based on instrumentation, program slicing and KLEE
dg
[LLVM Static Slicer] Dependence graph for programs. Generic implementation of dependence graphs with instantiation for LLVM that contains a static slicer for LLVM bitcode
sbt-instrumentation
Configurable instrumentation of LLVM bitcode
covid_plot
Tired of opening web browser to check daily new cases of covid? Try `./covid_plot [cz | sk]`
ProStatA
LLVM-based framework "Pro Statické Analyzátory"