Paweł Płatek's repositories
CryptoAttacks
Implementation of attacks on cryptosystems
grosquildu.github.io
GHPages
io_erp_crm
AGH software engineering project - ERP and CRM systems
advent_of_code_2022
Advent of Code 2022 in Rust
agh_compilers
Projects for college subject Theory of compilation
agh_example_based_entity_search
Implementation of "Example Based Entity Search in the Web of Data"
agh_linear_programming
Solver for linear problems, uses monte-carlo method
agh_nlp_diminutives_recognition
Natural Language Processing - tool for recognizing polish diminutives
agh_small_projects
Small university projects
agh_uml_aimo
UML for AGH software analysis and modeling subject
agh_ws_semweb_aml
Project for workshop/semantic web/mobile applications
aws-nitro-enclaves-cli
Tooling for Nitro Enclave Management
aws-nitro-enclaves-sdk-bootstrap
This project builds the kernel, nsm driver and bootstrap process for AWS Nitro Enclaves.
building-secure-contracts
Guidelines and training material to write secure smart contracts
codeql-va-control-repo
Variant Analysis with CodeQL and VSCode
deepstate-test-suite
Automated continuous testing integration using DeepState
jhtc_ctf_workshops
This repo contains materials from Just Hit the Core CTF team workshops organized thanks to KNI Kernel at AGH University of Science and Technology. As the workshops are in polish, so are the materials here.
not-so-smart-contracts
Examples of Solidity security issues
TourismSimulation
a simulation of a group of tourists in a City.