adrianleh Goto Github PK
Name: Adrian Lehmann
Type: User
Company: University of Chicago
Bio: PhD student working on compilers, formal verification, and quantum computing
Location: Chicago, IL
Name: Adrian Lehmann
Type: User
Company: University of Chicago
Bio: PhD student working on compilers, formal verification, and quantum computing
Location: Chicago, IL
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Team Contest Reference and additional material for Team ChaosKITs
Skeleton for writing conference papers in Latex
Archive for all Coq related OPAM packages organized in various repositories
VSCode extension that is designed to help automate writing of Coq proofs.
This is a package to interact with the Deutsche Bahn timetables api
Test suite (part of my bachelor thesis)
Testcases for testing implementation of Duff's device as part of my bachelor thesis
forward model using ray tracing
a Coq toolkit for graph theory
graph based intermediate representation and backend for optimising compilers
Summary for programming paradigms lecture
Microsoft Quantum Development Kit Samples
Official repository for design of the quantum programming language Q# and its core libraries
Tutorials and programming exercises for learning Q# and quantum computing
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.