Pinned Repositories
awesome-cs407
being a curated list of notes and resources related to the Computer Security (cs407) class at the University of Strathclyde
cmt
Write consistent git commit messages
codesmells
being some attempts at identifying java code smells using https://github.com/javaparser/javaparser
crew17
arduino stuff
ghoul
GHOUL : Global Higher-order Untyped Language
idris-malfunction
Experimental Malfunction backend for Idris
real-world-idris
Malfunction backend for Idris with a FFI to OCaml
social-flying
Hackathon project for the GUTS 2019. Connect with your friends and find out which flights they are taking!
whist-assist
Point calculator/tracker for the Romanian card game Whist.
ioanluca's Repositories
ioanluca/real-world-idris
Malfunction backend for Idris with a FFI to OCaml
ioanluca/awesome-cs407
being a curated list of notes and resources related to the Computer Security (cs407) class at the University of Strathclyde
ioanluca/idris-malfunction
Experimental Malfunction backend for Idris
ioanluca/cmt
Write consistent git commit messages
ioanluca/codesmells
being some attempts at identifying java code smells using https://github.com/javaparser/javaparser
ioanluca/crew17
arduino stuff
ioanluca/ghoul
GHOUL : Global Higher-order Untyped Language
ioanluca/CS316-17
The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course
ioanluca/CS410-17
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
ioanluca/docker-spring-react
Simple Spring Boot REST API with React and Docker
ioanluca/dotfiles
being my dotfiles
ioanluca/essential-scala
Source code for Underscore's Essential Scala
ioanluca/idris-jvm
JVM bytecode back end for Idris
ioanluca/idris-tdd-exercises
exercises from the Type-Driven-Development book by Edwin Brady
ioanluca/inkwink
Photography website design prototype
ioanluca/ioanluca.github.io
ioanluca/meeting-manager
ioanluca/mirage-skeleton
Examples of simple MirageOS apps
ioanluca/proving-categories
being Agda coursework
ioanluca/reason-react-example
Examples for ReasonReact
ioanluca/turing-machine
ioanluca/type-systems
Implementations of various type systems in OCaml.
ioanluca/weathercharts
generate dc.js diagrams based on some weather data