Matthias Pronk's repositories
wiwinwl-purescript
What I Wish I Knew When Learning PureScript
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)
corvantricht
Hakyll powered website at corvantricht.nl.
css-in-readme-like-wat
Style your readme using CSS with this simple trick
differential-datalog
An incremental programming language
euler-python
My Project Euler solutions in Python.
linkeddata
Linked Data for Haskell
MeasureIt_ARCH
An expansion of Antonio Vazquez's MeasureIt addon to add features to create Architectural Drawings in Blender 2.8
modern-uri
Modern library for working with URIs
package-sets
PureScript packages for Psc-Package and Spago
purescript-apie
PureScript client for Apie
purescript-eventstore
PureScript client for EventStore HTTP API
purescript-geojson
GeoJSON encoder and decoder for PureScript
purescript-halogen-realworld
Exemplary real world application built with PureScript + Halogen
resume-moderncv
My old resume in LaTeX (using Moderncv).
stm32f1xx-hal
A Rust embedded-hal HAL impl for the STM32F1 family based on japarics stm32f103xx-hal
weatherstation
Weather station using STM32 MCU and Raspberry Pi