- Lucerne, Switzerland
-
05:10
- 1h ahead - https://www.pierrebeaucamp.com
-
-
pierrebeaucamp.com Public archive
Forked from apas/athenaMy personal blog
JavaScript MIT License UpdatedFeb 8, 2019 -
-
Exercism-Prolog Public archive
Some Prolog exercises from exercism.io
Gnuplot The Unlicense UpdatedJan 21, 2019 -
middle-management-bot Public archive
A bot to automate common busywork on Github
-
purescript-geolocation Public archive
A purescript library to interact with the Geolocation API
-
idris-webgl Public archive
An Idris library to interact with WebGL
-
idris-html Public archive
An Idris library to interact with HTML
Idris Apache License 2.0 UpdatedApr 22, 2017 -
ludum-dare-38 Public archive
Entry for the 38th Ludum Dare Game Jam
JavaScript MIT License UpdatedApr 22, 2017 -
idris-xhr Public archive
An Idris library to interact with the XHR API
Idris Apache License 2.0 UpdatedApr 22, 2017 -
idris-dom Public archive
An Idris library to interact with the DOM
-
idris-console Public archive
An Idris library to interact with the Console API
Makefile Apache License 2.0 UpdatedApr 20, 2017 -
idris-hrTime Public archive
An Idris library for high resolution time
Idris Apache License 2.0 UpdatedApr 16, 2017 -
idris-range Public archive
An Idris library for generic range datatypes
Idris MIT License UpdatedMar 17, 2017 -
chocolatey Public archive
Chocolatey installer for etcher.io
-
coreos Public archive
The terraform configuration for CoreOS on DigitalOcean
HCL UpdatedSep 21, 2016 -
Exercism-Haskell Public archive
[ON HOLD] Haskell exercises for Exercism.io
Haskell The Unlicense UpdatedApr 8, 2016 -
purs Public archive
[WIP] A build tool for PureScript, based on npm
JavaScript ISC License UpdatedMar 22, 2016 -
purescript-symmetry454 Public
A library for interacting with the Symmetry454 calendar.
PureScript MIT License UpdatedMar 6, 2016 -
-
warehouse-manager Public archive
A unified API for different cloud storage providers
-
purescript-tutorial Public archive
Code for a PureScript tutorial on my blog
-
-
Exercism-Ruby Public archive
[ON HOLD] Ruby excercises for Exercism.io
Ruby The Unlicense UpdatedJan 11, 2016 -
Exercism-Python Public archive
[ON HOLD] Python excercises for Exercism.io
Python The Unlicense UpdatedJan 11, 2016 -
-
project-purity Public archive
A WIP Game Engine for Purescript
PureScript MIT License UpdatedDec 20, 2015 -
pebble-weather-watchface Public archive
[DEPRECATED] an updated example app for the pebble smartwatch
C The Unlicense UpdatedDec 5, 2015 -
Exercism-Bash Public archive
[DEPRECATED] Bash exercises for Exercism.io
-
Exercism-Go Public archive
[DEPRECATED] Go exercises for Exercism.io