Pinned Repositories
Build-in-Progress-Web
An open source version of the Build in Progress project documentation platform
CosmicPi
cv
CV in latex
dissertation
feblogpost
Formal-methods
Formal methods are a particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.
grecgrants
hackathon-2016
Some stuff for the Open Geneva Hackathon in 2016
hackathons2017
open geneva hackathons 2017
haskell-learning
This would be a resume of what I will learn from the following book "haskell programming from first principles" - Christopher Allen, Julie Moronuki
zeeroday's Repositories
zeeroday/Build-in-Progress-Web
An open source version of the Build in Progress project documentation platform
zeeroday/CosmicPi
zeeroday/cv
CV in latex
zeeroday/dissertation
zeeroday/feblogpost
zeeroday/Formal-methods
Formal methods are a particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.
zeeroday/grecgrants
zeeroday/hackathon-2016
Some stuff for the Open Geneva Hackathon in 2016
zeeroday/hackathons2017
open geneva hackathons 2017
zeeroday/haskell-learning
This would be a resume of what I will learn from the following book "haskell programming from first principles" - Christopher Allen, Julie Moronuki
zeeroday/haskell-parser-combinator
A parser combinator coded in Haskell
zeeroday/maptestingod
zeeroday/metaheuristic
Introduce various metaheuristic techniques for optimization with its implementation
zeeroday/mobilityhackcern
zeeroday/natural-language-programming
Introduce various algorithms and technics in natural language programming using python.
zeeroday/openxnow
zeeroday/projects
zeeroday/qiskitcamp2019
zeeroday/qistastories
zeeroday/quantumfuture
zeeroday/sdgathome
zeeroday/SDGinprogress-tracker
SDGinprogress.com issue/feature tracker
zeeroday/websemantic
The Semantic Web is an extension of the Web through standards by the World Wide Web Consortium (W3C).
zeeroday/zeeroday