This is the source repository for the DiveDB site
☆14Mar 22, 2026Updated 3 weeks ago
Alternatives and similar repositories for divedb
Users that are interested in divedb are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- To turn all your HTML text into rainbows 🌈☆11Jun 22, 2019Updated 6 years ago
- Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath tha…☆23Nov 29, 2025Updated 4 months ago
- Beautiful terminal output for Rust inspired by Python's Rich: tables, panels, syntax highlighting, progress bars, and full-color renderin…☆38Mar 23, 2026Updated 3 weeks ago
- Kanji Learning App☆16Mar 16, 2026Updated 3 weeks ago
- Skmtc is a declarative code generation framework for TypeScript☆19Nov 20, 2025Updated 4 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- The RAD-Hack RPG text and tables, ready to be translated into your language☆12Apr 19, 2024Updated last year
- a base repo for a static site with netlifycms & sharp image optimization☆17Apr 5, 2026Updated last week
- terminaldweller's IRC bot☆17Sep 7, 2025Updated 7 months ago
- Bot that tweets DELETED comments from Indiegogo in an attempt to uncover scam-campaign owners.☆12Apr 11, 2016Updated 10 years ago
- Deploying a SAPUI5/OpenUI5 file structure to SAP NetWeaver ABAP using a gulp task☆11Dec 7, 2022Updated 3 years ago
- Hubzilla plugin to support game trophies☆11Nov 28, 2020Updated 5 years ago
- Batteries-included multi-agent framework. Agents for databses, files, emails, APIs and web crawler. Self-host, run on your data. Multi-ag…☆49Feb 12, 2026Updated 2 months ago
- A visual workbench for coding agent orchestration for Windows, Linux & macOS. Chat interface for local & remote LLMs. Built with Tauri 2.…☆68Mar 20, 2026Updated 3 weeks ago
- Async first Twitter client☆17Dec 15, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A simple library for creating fancy terminal menus in Java.☆12Mar 6, 2020Updated 6 years ago
- A character generator for the 1981 B/X Edition of Dungeons and Dragons. Designed for use with Old School Essentials.☆18Apr 5, 2026Updated last week
- Lightweight path selector for searching Rust code☆16May 22, 2023Updated 2 years ago
- Robo Crosswords app for Android☆39Nov 29, 2018Updated 7 years ago
- Fully compliant Gson-like TOML library for Java 8+☆46Mar 22, 2026Updated 3 weeks ago
- ☆12Aug 27, 2021Updated 4 years ago
- A progressive web application (PWA) for notes that is fun!☆11Jan 7, 2023Updated 3 years ago
- Ruby wrapper for MailerLite API v2☆30Feb 26, 2026Updated last month
- This repository contains supplemental materials for the IEEE InfoVis 2018 submission "Hypothetical Outcome Plots Help Untrained Observers…☆14Oct 29, 2018Updated 7 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Convert Inter-Quake Models to glTF☆14Feb 20, 2019Updated 7 years ago
- List of jabber servers on https://list.jabber.at☆15Nov 22, 2022Updated 3 years ago
- XMPP Bridge for twilio SMS☆14Oct 16, 2023Updated 2 years ago
- A WordPress plugin for integrating your WP installation with an instance of Etherpad Lite☆40Aug 17, 2018Updated 7 years ago
- ☆10Sep 16, 2024Updated last year
- A loose collections of functions to prepare plots in R☆11Nov 17, 2017Updated 8 years ago
- Chat client (IRC) implemented as Angular 2 PWA☆11Jun 9, 2023Updated 2 years ago
- A docker compose configuration that uses headless chrome with puppeteer to generate full page screenshots for a given set of urls and dev…☆10May 30, 2019Updated 6 years ago
- Slides and resources for flexdashboard talk at UseR! 2016☆11Jun 27, 2016Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Moved to https://github.com/pixelmek-3d/pixelmek-3d☆12Jan 12, 2024Updated 2 years ago
- An unofficial Firefox extension for the LibreTranslate API☆14Dec 2, 2022Updated 3 years ago
- [NOT MAINTAINED] Github Webhook Plugin for Kanboard☆12Apr 5, 2020Updated 6 years ago
- bridge between mattermost, IRC, gitter, xmpp, slack, discord, telegram, rocketchat, twitch, ssh-chat, zulip, whatsapp, keybase, matrix, m…☆22Jun 2, 2025Updated 10 months ago
- Websocket replacement for Pusher☆12Mar 4, 2023Updated 3 years ago
- Prevent users from signing up with disposable email☆12Feb 15, 2026Updated last month
- Support for requesting objects from other objects dynamically based on type☆11Aug 25, 2020Updated 5 years ago