recentpopularlog in

ianweatherhogg : idris   23

Idris on Windows · idris-lang/Idris-dev Wiki
Idris-dev - A Dependently Typed Functional Programming Language
haskell  windows  idris  installation 
september 2016 by ianweatherhogg
Hardware Simulation in Idris I
I've been digging into Idris lately, and have found using dependent types to be a fun and challenging exercise.Last semester, I implemented some basic co...
idris  dependent  type  electronics  circuit  bool  logic  5*  hardware 
february 2016 by ianweatherhogg
idris-hackers/IdrisScript
IdrisScript - FFI Bindings to interact with the unsafe world of JavaScript
idris  script  javascript 
october 2014 by ianweatherhogg
MaxOw/Idris-WebGL · GitHub
Idris-WebGL - WebGL bindings for Idris.
idris  bind  web  gl  github 
august 2014 by ianweatherhogg
stepcut/idris-blink
idris-blink - A simple Idris program to blink the LED on an Arduino
github  c  ffi  arduino  idris 
july 2014 by ianweatherhogg
KesterTong
KesterTong has 3 repositories written in Idris. Follow their code on GitHub.
github  idris 
may 2014 by ianweatherhogg
Chromatic Leaves | White paper: Compile Time TDD Coverage with Idris
A high level introduction to learning dependent types via Idris
haskell  idris  test  proof 
may 2014 by ianweatherhogg

Copy this bookmark:





to read