Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by joshuanianji
A curated list of projects in awesome lists by joshuanianji .
https://github.com/joshuanianji/derivative
Symbolic Differentiation with Elm
derivatives elm latex mathquill symbolic-differentiation
Last synced: 09 Feb 2025
https://github.com/joshuanianji/idris-2-docker
Multi-arch, multi-distro Docker images for Idris 2
Last synced: 09 Feb 2025
https://github.com/joshuanianji/joshuanianji.github.io
My website's source code!
Last synced: 09 Feb 2025
https://github.com/joshuanianji/hiit-timer
A simple, mobile-friendly app for to time HIIT workouts, and any other workout as well!
elm hiit-timer intensity-interval-training
Last synced: 09 Feb 2025
https://github.com/joshuanianji/ellie-link-generator
Dynamically generate Ellie links given the Elm source code
Last synced: 09 Feb 2025
https://github.com/joshuanianji/lost-and-coffee
Fighting off fatigue with the powers of caffeine.
Last synced: 09 Feb 2025
https://github.com/joshuanianji/country-fact-finder
My computer science project for the CIA country fact finder
Last synced: 09 Feb 2025
https://github.com/joshuanianji/devcontainer-features
My custom devcontainer features
Last synced: 09 Feb 2025
https://github.com/joshuanianji/karas-bot
The OSACS bot for all your Karas needs <33
Last synced: 09 Feb 2025
https://github.com/joshuanianji/cryptography
my cryptography compsci assignment
Last synced: 09 Feb 2025
https://github.com/joshuanianji/kitchen-cli
A simple Rust CLI tool for simple Rust projects
Last synced: 09 Feb 2025
https://github.com/joshuanianji/uncertainties
High school level uncertainties with python! Made with love by Josh and Ruhan.
Last synced: 09 Feb 2025
https://github.com/joshuanianji/ccc-solutions
Unofficial solutions to the CCC (Senior). PRs welcome.
Last synced: 09 Feb 2025
https://github.com/joshuanianji/secd-machine
An Interactive Compiler and Interpreter for the SECD Machine
Last synced: 09 Feb 2025
https://github.com/joshuanianji/github-language-colors
A collection of all of Github's language colours in Elm
Last synced: 09 Feb 2025
https://github.com/joshuanianji/nerd-bot
🤓 A Discord bot that scores your nerdiness
Last synced: 09 Feb 2025
https://github.com/joshuanianji/arm-docker-images
ARM-Based Docker images, mainly for personal use
Last synced: 09 Feb 2025
https://github.com/joshuanianji/phil421-presentation
My presentation for Phil 421: Modal Logic
Last synced: 09 Feb 2025
https://github.com/joshuanianji/devcontainer-templates
My custom Devcontainer Templates
Last synced: 09 Feb 2025