Pinned Repositories
mathgpt
Hackrithmitic 2 2023 - GPT Powered Math Solutions
291-miniproject
derivative
Symbolic Differentiation with Elm
devcontainer-features
My custom devcontainer features
ellie-link-generator
Dynamically generate Ellie links given the Elm source code
HIIT-Timer
A simple, mobile-friendly app for to time HIIT workouts, and any other workout as well!
idris-2-docker
Multi-arch, multi-distro Docker images for Idris 2
joshuanianji.github.io
My website's source code!
secd-machine
An Interactive Compiler and Interpreter for the SECD Machine
um-detector
Analyze public speaking
joshuanianji's Repositories
joshuanianji/idris-2-docker
Multi-arch, multi-distro Docker images for Idris 2
joshuanianji/joshuanianji.github.io
My website's source code!
joshuanianji/devcontainer-features
My custom devcontainer features
joshuanianji/ellie-link-generator
Dynamically generate Ellie links given the Elm source code
joshuanianji/elm-antd
The official Ant Design UI Kit for Elm
joshuanianji/kitchen-cli
A simple Rust CLI tool for simple Rust projects
joshuanianji/ccc-solutions
Unofficial solutions to the CCC (Senior). PRs welcome.
joshuanianji/elm-doggo
More than just dogs lol
joshuanianji/elm-ui-bootstrap
WIP: Rewrite Bootstrap with elm-ui
joshuanianji/jhipster-elm-demo
WIP: Single Page Web Application with Java Spring Boot backend and Elm UI frontend.
joshuanianji/Lost-and-Coffee
Fighting off fatigue with the powers of caffeine.
joshuanianji/scratch-node-dumb-init
Scratch Node with Dumb-Init
joshuanianji/secd-machine
An Interactive Compiler and Interpreter for the SECD Machine
joshuanianji/treehouse-bot
A discord bot for fun
joshuanianji/nerd-bot
🤓 A Discord bot that scores your nerdiness
joshuanianji/arm-docker-images
ARM-Based Docker images, mainly for personal use
joshuanianji/better-auth
The most comprehensive authentication framework for TypeScript
joshuanianji/c415-docker
Docker Image for CMPUT 415
joshuanianji/devcontainer-features-stuartleeks
My custom dev container features (https://containers.dev)
joshuanianji/devcontainer-templates
My custom Devcontainer Templates
joshuanianji/devcontainers-extra-features
🐳 Extra add-in features for Devcontainers and GitHub Codespaces
joshuanianji/devcontainers-features-michidk
A collection of devcontainer 'features'
joshuanianji/edgedb
A graph-relational database with declarative schema, built-in migration system, and a next-generation query language
joshuanianji/elm-pages
Hybrid Elm framework with full-stack and static routes.
joshuanianji/feature-starter
A bootstrap repo for self-authoring Dev Container Features
joshuanianji/form
Vue 3 Form Handling and Validation
joshuanianji/github-language-colors
A collection of all of Github's language colours in Elm
joshuanianji/template-starter
A template explaining how to author custom dev container Templates
joshuanianji/WordleInIdris
joshuanianji/xdg-ninja
A shell script which checks your $HOME for unwanted files and directories.