adrianleh Goto Github PK

adrianleh.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

ardunio-plant-watering

bwl_fr_revision

chaoskits

Team Contest Reference and additional material for Team ChaosKITs

cmsc32700-projectreport

cmsc33260-projectproposal

Skeleton for writing conference papers in Latex

coq-linalg

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.

cpp-dev-docker

dbs-revision-klausur-sql

deutsche_bahn_api

This is a package to interact with the Deutsche Bahn timetables api

dotfiles

duffs-bench-results-raw

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

easydccaccessorydecoder

forward-model

forward model using ray tracing

graph-basics

a Coq toolkit for graph theory

investments_revision

libfirm

graph based intermediate representation and backend for optimising compilers

ntfs-paper

pi_pico_web_gif

propa-revision-summary

Summary for programming paradigms lecture

qdk-samples

Microsoft Quantum Development Kit Samples

qsharp-language

Official repository for design of the quantum programming language Q# and its core libraries

quantum-compiler-benchmark

quantumkatas

Tutorials and programming exercises for learning Q# and quantum computing

quantumlib

quantumlibraries

Q# libraries for the Quantum Development Kit