adomasbaliuka Goto Github PK

adventofcode2023

Advent of Code 2023 in Lean4

aesop

White-box automation for Lean 4

aff3ct

A fast simulator and a library dedicated to the channel coding.

alphasheep

The Bavarian card game of Schafkopf, played by RL agents!

cmdparser

A simple and lightweight command line parser using C++11.

cpp_boilerplate

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

holy-build-box

System for building cross-distribution Linux binaries

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

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