ioanluca

real-world-idris

Malfunction backend for Idris with a FFI to OCaml

awesome-cs407

being a curated list of notes and resources related to the Computer Security (cs407) class at the University of Strathclyde

idris-malfunction

Experimental Malfunction backend for Idris

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

CS316-17

The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course

CS410-17

being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

docker-spring-react

Simple Spring Boot REST API with React and Docker

dotfiles

being my dotfiles

essential-scala

Source code for Underscore's Essential Scala

idris-jvm

JVM bytecode back end for Idris

idris-tdd-exercises

exercises from the Type-Driven-Development book by Edwin Brady

inkwink

Photography website design prototype

ioanluca.github.io

meeting-manager

mirage-skeleton

Examples of simple MirageOS apps

proving-categories

being Agda coursework

reason-react-example

Examples for ReasonReact

turing-machine

type-systems

Implementations of various type systems in OCaml.

weathercharts

generate dc.js diagrams based on some weather data