Pinned Repositories
apie
Apie: a simple event sourcing and content addressable storage API (Warp and CGI)
purescript-indexeddb
An API wrapper around indexedDB
purescript-web-url
FFI for the Web URL API (encode and decode URL's): https://developer.mozilla.org/en-US/docs/Web/API/URL
purescript-workers
An API wrapper around Web Workers (Dedicated, Shared and Service)
resume
My resume in HTML.
wiwinwl-purescript
What I Wish I Knew When Learning PureScript
mjepronk's Repositories
mjepronk/wiwinwl-purescript
What I Wish I Knew When Learning PureScript
mjepronk/apie
Apie: a simple event sourcing and content addressable storage API (Warp and CGI)
mjepronk/purescript-indexeddb
An API wrapper around indexedDB
mjepronk/purescript-web-url
FFI for the Web URL API (encode and decode URL's): https://developer.mozilla.org/en-US/docs/Web/API/URL
mjepronk/resume
My resume in HTML.
mjepronk/purescript-workers
An API wrapper around Web Workers (Dedicated, Shared and Service)
mjepronk/calendula
Create holiday and week number calendars in iCalendar (.ics) format
mjepronk/chaton
Disable keyboard and mouse on Linux
mjepronk/concat
Compiling to Categories
mjepronk/corvantricht
Hakyll powered website at corvantricht.nl.
mjepronk/css-in-readme-like-wat
Style your readme using CSS with this simple trick
mjepronk/differential-datalog
An incremental programming language
mjepronk/drawio-schema-unifilaire
Symboles schéma unifilaire NF C 15-100 pour Draw.io
mjepronk/euler-python
My Project Euler solutions in Python.
mjepronk/linkeddata
Linked Data for Haskell
mjepronk/MeasureIt_ARCH
An expansion of Antonio Vazquez's MeasureIt addon to add features to create Architectural Drawings in Blender 2.8
mjepronk/modern-uri
Modern library for working with URIs
mjepronk/mpster
Hakyll powered website at mpster.nl.
mjepronk/one-click-hugo-cms
mjepronk/package-sets
PureScript packages for Psc-Package and Spago
mjepronk/purescript-apie
PureScript client for Apie
mjepronk/purescript-eventstore
PureScript client for EventStore HTTP API
mjepronk/purescript-geojson
GeoJSON encoder and decoder for PureScript
mjepronk/purescript-halogen-realworld
Exemplary real world application built with PureScript + Halogen
mjepronk/registry
mjepronk/resume-moderncv
My old resume in LaTeX (using Moderncv).
mjepronk/stm32f1xx-hal
A Rust embedded-hal HAL impl for the STM32F1 family based on japarics stm32f103xx-hal
mjepronk/weatherstation
Weather station using STM32 MCU and Raspberry Pi