Adrian Lehmann's repositories
terraform-provider-scvmm
Automates the Microsoft System Center Virtual Machine Manager (SCVMM) resources creation during Infrastructure build using Terraform Provider.
adrianleh.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
libfirm
graph based intermediate representation and backend for optimising compilers
CMSC33260-ProjectProposal
Skeleton for writing conference papers in Latex
coq-opam
Archive for all Coq related OPAM packages organized in various repositories
coqpilot
VSCode extension that is designed to help automate writing of Coq proofs.
deutsche_bahn_api
This is a package to interact with the Deutsche Bahn timetables api
duffs-device-test-suite
Test suite (part of my bachelor thesis)
duffs-device-testcases
Testcases for testing implementation of Duff's device as part of my bachelor thesis
forward-model
forward model using ray tracing
graph-basics
a Coq toolkit for graph theory
QDK-samples
Microsoft Quantum Development Kit Samples
qsharp-language
Official repository for design of the quantum programming language Q# and its core libraries
QuantumKatas
Tutorials and programming exercises for learning Q# and quantum computing
QuantumLibraries
Q# libraries for the Quantum Development Kit
TikTok-Api
The Unofficial TikTok API Wrapper In Python