Pinned Repositories
cli
Register your own is-a.dev subdomain from your command line!
data
A simple website which visualises is-a.dev domain data.
docs
is-a.dev Documentation
hosting
Public file storage for anyone with an is-a.dev domain 🎉
is-a-dev.github.io
is-a.dev Website
manage-site
The dashboard for is-a.dev
raw-api
is-a.dev Raw API
register
Grab your own sweet-looking '.is-a.dev' subdomain.
reviewmate
A GitHub App built with Probot to assist in the review process of is-a-dev
team-docs
Documentation for the is-a.dev team
is-a.dev's Repositories
is-a-dev/register
Grab your own sweet-looking '.is-a.dev' subdomain.
is-a-dev/is-a-dev.github.io
is-a.dev Website
is-a-dev/manage-site
The dashboard for is-a.dev
is-a-dev/cli
Register your own is-a.dev subdomain from your command line!
is-a-dev/data
A simple website which visualises is-a.dev domain data.
is-a-dev/docs
is-a.dev Documentation
is-a-dev/hosting
Public file storage for anyone with an is-a.dev domain 🎉
is-a-dev/raw-api
is-a.dev Raw API
is-a-dev/reviewmate
A GitHub App built with Probot to assist in the review process of is-a-dev
is-a-dev/team-docs
Documentation for the is-a.dev team
is-a-dev/orangcapp
App for is-a.dev
is-a-dev/api
API for is-a.dev
is-a-dev/cleanup
A script which will remove domains that are not resolvable.
is-a-dev/discord-bot
Source code for the is-a.dev Discord bot.
is-a-dev/.github
is-a-dev/fire
The help bot for is-a.dev
is-a-dev/github-id-script
A script to add people's github id's to their domain data, removing the need for updating the person's username every time.