emccorson

Glasgow, UK

Pinned Repositories

angular
One framework. Mobile & desktop.
Language:TypeScript0 2 00
battle
JavaScript battle game written in Idris
Language:Idris6 3 01
beetus-proto-0
Diabetes app prototype 0. Cordova + Onsen UI.
Language:JavaScript0 3 00
buddha-blaster
Language:Java0 2 00
giraffedev-site
My personal website, written in Node.js.
Language:JavaScript0 3 00
idris-malfunction
Experimental Malfunction backend for Idris
Language:Haskell1 3 00
idris-web-components
Custom Elements for the web in Idris
Language:CSS0 3 00
Idris2
A purely functional programming language with first class types
Language:Idris0 2 00
shared
Language:Rust1 2 00
OnsenUI
Mobile app development framework and SDK using HTML5 and JavaScript. Create beautiful and performant cross-platform mobile apps. Based on Web Components, and provides bindings for Angular 1, 2, React and Vue.js.
Language:JavaScript8.8k 297 1.8k1k

emccorson's Repositories

emccorson/idris-malfunction
Experimental Malfunction backend for Idris
Language:Haskell1 3 00
emccorson/idris-benchmarks
Some benchmarks for Idris
Language:Idris3 0
emccorson/Idris-dev
A Dependently Typed Functional Programming Language
Language:Haskell3 0
emccorson/team-8