- Temporal Aspects of Smart Contracts for Financial Derivatives, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice pp 339-355
- Twitter https://twitter.com/GabrielVanca
Name: Gabriel Vanca
Type: User
Company: @UCL
Bio: Computer Science & Finance at @UCL and Law at BPP Law School. Passionate about tech, public policy, IP & competition regulation.
Twitter: GabrielVanca
Location: London
A beautiful and improved PowerShell Core experience for all platforms.
Chocolatey installation for consumer and server editions of Windows; includes GUI, updates and image cleaner
Config files for my GitHub profile.
Intelligent Custom Tags for Office
Gaming-based code-learning framework made in Unity. Learn coding while exploring the "Red Planet" in a NASA Mars rover. Made in support of the UK Government's Coding Curriculum school initiative.
Deploy Microsoft.UI.Xaml
UCL Research
A list of useful scripts.
A printer test page is one of the easiest and most effective ways to analyze and calibrate your printerβs performance. Test pages often include text, graphics, and images that, when printed, aim to maintain the health of your printer (and cartridges) while highlighting any issues that your printer may be having.
COMP105P
Part of Gabriel Vanca's UCL BSc dissertation
Used the sensors on the Engduino device and the Processing programming language to recreate a traditional Snake game for microncontrollers
A simple wrapper for the function Resolve-DNSName to perform DNS queries against specific DNS Servers
Desktop Bridge C++ Runtime Framework (VCLibs)
Manually install WinGet
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.