polendri Goto Github PK

awesome-dev-articles

A collection of awesome articles that are relevant to software developers.

blog.ijj.li

command-cli

A library for creating CLI applications in Rust with a command-style interface (like git or apt-get)

config

System and application configuration for my servers and workstations

cv.ijj.li

Source for my web-based CV

devquest

code it up playaz

dsgen

A utility for generating randomized kingdom card sets for the board game Dominion.

idris-collections

Verified data structures in Idris 2

idris-peg

Verified Extended Parsing Expression Grammars in Idris 2

idris-regexp

Regular expressions in Idris 2

idris-uri

A URI data type for Idris 2

il-tools

infrastructure

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

nixpkgs

Nix Packages collection

nurep

A replay viewer for Planets.nu games, written in Rust

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?

project-euler-solutions

My solutions to Project Euler problems.

pshendry.github.io

A hacky redirect of my formerly GitHub-hosted CV to its new location

purescript-halogen-framework7

Halogen components and utilities for the Framework7 GUI framework

purescript-pshendry-halogen

An accumulation of reusable Halogen components

qmk_firmware

keyboard controller firmware for Atmel AVR and ARM USB families

rswr

A terrible game written in C++ using X window system graphics, for a User Interfaces class

rust-planets-nu

A Rust wrapper for the planets.nu API

snake

Simple snake game written in a day in Python 3 and curses

tools.ijj.li

An assortment of handy utilities. Built with Nuxt.js and Vuetify.

totm

Technology of the Month

vue-styleguidist-ie11bug