Lists (8)
Sort Name ascending (A-Z)
👾 Agent-based modelling
My projects related to ABM and software for simulations
Quantum Software
📖 Books and tutorials
Tutorials, documentation, books, and source code for books🔢 Current project
🔮 Future ideas
🧑🦱 Personal
CV, configs, etc.Resaearch
Tools for supporting research🗣️ Talks
Slides from conferences and seminars- All languages
- Assembly
- BASIC
- C
- C#
- C++
- CSS
- CoffeeScript
- Common Lisp
- Euphoria
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- MATLAB
- Mathematica
- NetLogo
- OCaml
- OpenQASM
- Perl
- Python
- Q#
- R
- Red
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Standard ML
- TeX
- TypeScript
- VHDL
- Vim Script
- Wolfram Language
- XSLT
- Zig
- q
Starred repositories
A collection of well-optimized SVG tech logos for developers and designers—customizable, scalable, and free.
A lightweight, cloud-native GIS platform for visualizing, exploring, and analyzing geospatial data. It runs in the web browser, on the desktop, on mobile, and inside Jupyter notebooks.
The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.
A curated list of awesome platforms, tools, practices and resources that helps run LLMs locally
An open, technical and introductory book for the Zig programming language 📚📖
A C program to generate random data using several random models, with parameterized non uniformities and flexible output formats.
The SP800-90B_EntropyAssessment C++package implements the min-entropy assessment methods included in Special Publication 800-90B.
A markup-based typesetting system that is powerful and easy to learn.
A Java library for building modern terminal user interfaces.
Lightweight, file-based workspace for source-guided whitebox security review.
A Python library to simplify quantum circuits of phase and Pauli gadgets.
A self-contained cryptographic library for Python
Scapy: the Python-based interactive packet manipulation program & library.
The code from NIST SP-800-22 for testing random-number generators, along with docs for reference
RL to solve easy problems -> extract useful gadgets -> leverage gadgetized RL to tackle hard problems
Demystifying Cryptography with OpenSSL 3.0, published by Packt
Python implementation of the ETSI GS QKD 004 API with client/server components and simulated QKD key exchange.
Contains HDL code for the PQC Key Encapsulation Mechanism BIKE
A pure python implementation of ML-KEM (FIPS 203) and CRYSTALS-Kyber
Communication-capable quantum programming language
Python implementations of FIPS 203,204,205 (+ python wrappers for NIST's ACVP-Server crypto code)