adomasbaliuka Goto Github PK
Name: Adomas Baliuka
Type: User
Bio: Physicist
Name: Adomas Baliuka
Type: User
Bio: Physicist
Advent of Code 2023 in Lean4
White-box automation for Lean 4
A fast simulator and a library dedicated to the channel coding.
The Bavarian card game of Schafkopf, played by RL agents!
A simple and lightweight command line parser using C++11.
Fork of example CPP project
Serial port library written in C++.
Example Julia (Pluto.jl) notebook showing how to render symbolic equations as LaTeX and transform into a Julia function.
Machine learning methods to evaluate information leakage via radio-frequency electromagnetic emissions from the electronics of a quantum key distribution module.
Fast generation of long sequencies of bernoulli-distributed random variables
The Fast Loaded Dice Roller: A Near-Optimal Exact Sampler for Discrete Probability Distributions
System for building cross-distribution Linux binaries
A C++ compression program based on Huffman's lossless compression algorithm and decoder.
Conservative floating point interval arithmetic in Lean
Material for the 2021 GPU workshop at JuliaCon
Rate adaptive LDPC based solutions for distributed source coding
Utility Julia package for loading and saving LDPC codes to files
Quantum information theory in Lean 4
Lean 4 programming language and theorem prover
An attempt at setting up CI that disallows proofs of False, to be challenged by PRs
Trying to get CI to work for a Mathlib4-based Lean4 project
Cubesat Space Protocol - A small network-layer delivery protocol designed for Cubesats
Demo of optical bloch equations (based on QuantumOptics.jl)
A reversible pseudo-random number generator
The Rmath library from R
Modelling for different SatQKD systems
SD-Card controller, using either SPI, SDIO, or eMMC interfaces
A template to automatically convert Pluto notebooks to an HTML website with GitHub Pages. Demo page:
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.