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/awesome-dev-articles
A collection of awesome articles that are relevant to software developers.
polendri/io-providers
Enables dependency injection for many I/O operations in Rust
polendri/idris-collections
Verified data structures in Idris 2
polendri/purescript-pshendry-halogen
An accumulation of reusable Halogen components
polendri/neurotic
The compile-time feedforward neural network library that no one asked for
polendri/ofx
Rust-based parser for the Open Financial Exchange (OFX) file format
polendri/purescript-halogen-framework7
Halogen components and utilities for the Framework7 GUI framework
polendri/cv.ijj.li
Source for my web-based CV
polendri/DevQuest
code it up playaz
polendri/peasants-vs-sires
A JavaScript game pitting hordes of peasants against powerful sires – who will win?
polendri/tools.ijj.li
An assortment of handy utilities. Built with Nuxt.js and Vuetify.
polendri/blog.ijj.li
polendri/command-cli
A library for creating CLI applications in Rust with a command-style interface (like git or apt-get)
polendri/config
System and application configuration for my servers and workstations
polendri/dsgen
A utility for generating randomized kingdom card sets for the board game Dominion.
polendri/idris-peg
Verified Extended Parsing Expression Grammars in Idris 2
polendri/idris-regexp
Regular expressions in Idris 2
polendri/idris-uri
A URI data type for Idris 2
polendri/il-tools
polendri/infrastructure
polendri/nixpkgs
Nix Packages collection
polendri/nurep
A replay viewer for Planets.nu games, written in Rust
polendri/project-euler-solutions
My solutions to Project Euler problems.
polendri/pshendry.github.io
A hacky redirect of my formerly GitHub-hosted CV to its new location
polendri/qmk_firmware
keyboard controller firmware for Atmel AVR and ARM USB families
polendri/RSWR
A terrible game written in C++ using X window system graphics, for a User Interfaces class
polendri/rust-planets-nu
A Rust wrapper for the planets.nu API
polendri/snake
Simple snake game written in a day in Python 3 and curses
polendri/vue-styleguidist-ie11bug
polendri/warriorsband
An event planning website created for the Waterloo Warriors Band.