Pinned Repositories
awesome-dev-articles
A collection of awesome articles that are relevant to software developers.
cv.ijj.li
Source for my web-based CV
idris-collections
Verified data structures in Idris 2
io-providers
Enables dependency injection for many I/O operations in Rust
neurotic
The compile-time feedforward neural network library that no one asked for
ofx
Rust-based parser for the Open Financial Exchange (OFX) file format
peasants-vs-sires
A JavaScript game pitting hordes of peasants against powerful sires – who will win?
purescript-halogen-framework7
Halogen components and utilities for the Framework7 GUI framework
purescript-pshendry-halogen
An accumulation of reusable Halogen components
tools.ijj.li
An assortment of handy utilities. Built with Nuxt.js and Vuetify.
polendri's Repositories
polendri/totm
Technology of the Month