Ioan Luca 's repositories
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
codesmells
being some attempts at identifying java code smells using https://github.com/javaparser/javaparser
docker-spring-react
Simple Spring Boot REST API with React and Docker
essential-scala
Source code for Underscore's Essential Scala
idris-tdd-exercises
exercises from the Type-Driven-Development book by Edwin Brady
mirage-skeleton
Examples of simple MirageOS apps
proving-categories
being Agda coursework
reason-react-example
Examples for ReasonReact
type-systems
Implementations of various type systems in OCaml.
weathercharts
generate dc.js diagrams based on some weather data