adomasbaliuka's repositories
AdventOfCode2023
Advent of Code 2023 in Lean4
aesop
White-box automation for Lean 4
alphasheep
The Bavarian card game of Schafkopf, played by RL agents!
CmdParser
A simple and lightweight command line parser using C++11.
cpp_test_project_catch
Fork of example CPP project
CppLinuxSerial
Serial port library written in C++.
eg_SymbolicsToKwargfun.jl
Example Julia (Pluto.jl) notebook showing how to render symbolic equations as LaTeX and transform into a Julia function.
EmissionSecurityQKD
Machine learning methods to evaluate information leakage via radio-frequency electromagnetic emissions from the electronics of a quantum key distribution module.
fast-bernoulli
Fast generation of long sequencies of bernoulli-distributed random variables
fast-loaded-dice-roller
The Fast Loaded Dice Roller: A Near-Optimal Exact Sampler for Discrete Probability Distributions
Huffman-Coding
A C++ compression program based on Huffman's lossless compression algorithm and decoder.
juliacon21-gpu_workshop
Material for the 2021 GPU workshop at JuliaCon
holy-build-box
System for building cross-distribution Linux binaries
LDPC4QKD
Rate adaptive LDPC based solutions for distributed source coding
LDPCStorage.jl
Utility Julia package for loading and saving LDPC codes to files
lean4-hacking
An attempt at setting up CI that disallows proofs of False, to be challenged by PRs
lean4_CI_example
Trying to get CI to work for a Mathlib4-based Lean4 project
OpticalBlochEqDemo-plutonb-jl
Demo of optical bloch equations (based on QuantumOptics.jl)
rlcg
A reversible pseudo-random number generator
SatQuMA
Modelling for different SatQKD systems
static-export-template
A template to automatically convert Pluto notebooks to an HTML website with GitHub Pages. Demo page:
test_repository
Repository to test and play around with git and GitHub
TimestampCompression
Analysis and implementation of data compression techniques for timestamps (using e.g. Golomb-Rice coding).
ToeplitzMatrices.jl
Fast matrix multiplication and division for Toeplitz matrices in Julia
vivado-docker
Vivado on Docker