radams78 Goto Github PK
Name: Robin Adams
Type: User
Name: Robin Adams
Type: User
A 43k Kernel for Planar Dominating Set
The agda-unimath library
Final version of code from Exercise 5-2
Categories parametrized by morphism equality, in Agda
Formalization of category theory without equality on objects
A model for the Chalmers qubit to run realistic simulations of quantum circuits using qutip-qip
Example for module 5-1
The smash product in cubical type theory
The repository for high quality TypeScript type definitions.
Example of MVC with Observer pattern
A powerful documentation engine for JS
Solution to Exercise 1-2a
The Best Way to Draw Polygons
DrawPolygons with good design, from Monday 14 December
An encyclopaedia of mathematics and physics, building up to quantum field theory, with everything done rigorously
Formalization of type theory with equality defined by recursion on type
Formalisation of Lambda-Simeq in Agda
Sources of the EuroProofNet web site.
Parametric Polymorphism
A repo for learning forking and PRs. Related to the git workshop.
Demonstration of the Git system with IntelliJ
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.