Pinned Repositories
CSC258-Project
Where the final project for Francesco Gramano and Milind Shah of the Winter 2013 offering of CSC258H1 (Computer Organization) at the University of Toronto is hosted.
fuck
gatsby-source-medium
Fork of https://github.com/gatsbyjs/gatsby/tree/master/packages/gatsby-source-medium
hexo-theme-corporate
A professional Hexo theme based on Metronic's "Corporate Frontend" framework.
image_gallery
Completed hiring assignment and image gallery in Laravel 5
OrbisChallenge2014
stencil-redux-starter
typescript-storybook-starter
Sample React library starter using StoryShots, Jest, Rollup and TypeScript
Z3Parse
A Z3py-based proof assistant
g2graman's Repositories
g2graman/CSC258-Project
Where the final project for Francesco Gramano and Milind Shah of the Winter 2013 offering of CSC258H1 (Computer Organization) at the University of Toronto is hosted.
g2graman/fuck
g2graman/gatsby-source-medium
Fork of https://github.com/gatsbyjs/gatsby/tree/master/packages/gatsby-source-medium
g2graman/hexo-theme-corporate
A professional Hexo theme based on Metronic's "Corporate Frontend" framework.
g2graman/image_gallery
Completed hiring assignment and image gallery in Laravel 5
g2graman/OrbisChallenge2014
g2graman/stencil-redux-starter
g2graman/typescript-storybook-starter
Sample React library starter using StoryShots, Jest, Rollup and TypeScript
g2graman/Z3Parse
A Z3py-based proof assistant
g2graman/Assignment
g2graman/bridge-content
g2graman/create-react-app-typescript
Create React apps using typescript with no build configuration.
g2graman/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
g2graman/generator-rollupjs-library
g2graman/gulpclass
Make a beautiful class-based gulpfiles with TypeScript and Gulpclass.
g2graman/isolated-app-shell
g2graman/isolated-submodule
g2graman/json-transforms
A recursive, pattern-matching, approach to transforming JSON structures.
g2graman/lazy-loading-with-dependencies
g2graman/lazy-loading-without-router
g2graman/lessons-site-generator
A static-site generator for lessons (that use code snippets)
g2graman/meatier
:hamburger: like meteor, but meatier :hamburger:
g2graman/notify-app
g2graman/ProjectEuler
My answers to the problems of Project Euler
g2graman/roboto
A web crawler/scraper/spider for nodejs
g2graman/rollup-starter-template
Sample project for packages built using rollup.
g2graman/se-challenge
g2graman/sequencing-actions-explicitly
g2graman/spectacle-presentation
https://g2graman.github.io/spectacle-presentation/
g2graman/Utilities