radams78 Goto Github PK
Name: Robin Adams
Type: User
Robin Adams's Projects
43kkernel
A 43k Kernel for Planar Dominating Set
agda-unimath
The agda-unimath library
bergen-lean
block51exercise
block52exercise
Final version of code from Exercise 5-2
categories
Categories parametrized by morphism equality, in Agda
categorytheory
Formalization of category theory without equality on objects
chalmers-qubit
A model for the Chalmers qubit to run realistic simulations of quantum circuits using qutip-qip
coffee
Example for module 5-1
coffee2
coqpts
cubicalsmash
The smash product in cubical type theory
cubicaltt
databasemodifier
definitelytyped
The repository for high quality TypeScript type definitions.
dijkstar
dit953signal
Example of MVC with Observer pattern
documentjs
A powerful documentation engine for JS
drawpolygons
Solution to Exercise 1-2a
drawpolygons2
The Best Way to Draw Polygons
drawpolygonsfinal
DrawPolygons with good design, from Monday 14 December
encyclopaedia
An encyclopaedia of mathematics and physics, building up to quantum field theory, with everything done rigorously
encyclopedia
equality
Formalization of type theory with equality defined by recursion on type
equality2
Formalisation of Lambda-Simeq in Agda
europroofnet.github.io
Sources of the EuroProofNet web site.
exercise41
Parametric Polymorphism
exercise61
git-forkme
A repo for learning forking and PRs. Related to the git workshop.
gitdemo
Demonstration of the Git system with IntelliJ
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.