Joshua Ji's repositories
idris-2-docker
Multi-arch, multi-distro Docker images for Idris 2
joshuanianji.github.io
My website's source code!
ellie-link-generator
Dynamically generate Ellie links given the Elm source code
devcontainer-features
My custom devcontainer features
kitchen-cli
A simple Rust CLI tool for simple Rust projects
Lost-and-Coffee
Fighting off fatigue with the powers of caffeine.
ccc-solutions
Unofficial solutions to the CCC (Senior). PRs welcome.
elm-ui-bootstrap
WIP: Rewrite Bootstrap with elm-ui
jhipster-elm-demo
WIP: Single Page Web Application with Java Spring Boot backend and Elm UI frontend.
scratch-node-dumb-init
Scratch Node with Dumb-Init
treehouse-bot
A discord bot for fun
nerd-bot
🤓 A Discord bot that scores your nerdiness
secd-machine
An Interactive Compiler and Interpreter for the SECD Machine
arm-docker-images
ARM-Based Docker images, mainly for personal use
c415-docker
Docker Image for CMPUT 415
devcontainer-features-contrib
🐳 Extra add-in features for Devcontainers and GitHub Codespaces
devcontainer-features-stuartleeks
My custom dev container features (https://containers.dev)
devcontainer-templates
My custom Devcontainer Templates
devcontainers-features-michidk
A collection of devcontainer 'features'
edgedb
A graph-relational database with declarative schema, built-in migration system, and a next-generation query language
elm-pages
Hybrid Elm framework with full-stack and static routes.
feature-starter
A bootstrap repo for self-authoring Dev Container Features
form
Vue 3 Form Handling and Validation
github-language-colors
A collection of all of Github's language colours in Elm
xdg-ninja
A shell script which checks your $HOME for unwanted files and directories.