Brian McKenna

icon indicating a website link http://brianmckenna.org/ icon indicating an email [email protected]

icon company Launceston & North East Railway icon location Tasmania, Australia icon location λ

Results 12 repositories owned by Brian McKenna

atsboot

26
Stars
2
Forks
Watchers

A tiny 32 bit kernel written in ATS

verified publisher icon puffnfresh

bam-idris-blog

39
Stars
4
Forks
Watchers

Static blog generator in Idris.

verified publisher icon puffnfresh

bilby.js

591
Stars
24
Forks
Watchers

Serious functional programming library for JavaScript.

verified publisher icon puffnfresh

brushtail

132
Stars
5
Forks
Watchers

JS AST rewriter for tail call elimination

verified publisher icon puffnfresh

c4-model

18
Stars
0
Forks
Watchers

Haskell implementation of C4 model, for specifying software architecture

verified publisher icon puffnfresh

crosscheck

32
Stars
0
Forks
Watchers

Using QuickCheck to test functions in other languages/environments.

verified publisher icon puffnfresh

eta-android

24
Stars
0
Forks
Watchers

Quick example of Eta on Android

verified publisher icon puffnfresh

fo

17
Stars
0
Forks
Watchers

Overloaded operators for Fantasy Land compatible JavaScript.

verified publisher icon puffnfresh

free-graphs

53
Stars
5
Forks
Watchers

Generate GraphViz graphs by interpretting free monads.

verified publisher icon puffnfresh

game-of-comonads.js

42
Stars
5
Forks
Watchers

Pure and comonadic Game of Life in Fantasy Land compatible JavaScript

verified publisher icon puffnfresh