This is the source repository for the DiveDB site
☆14Apr 26, 2026Updated last week
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…☆23Apr 23, 2026Updated last week
- Kanji Learning App☆17Mar 16, 2026Updated last month
- Skmtc is a declarative code generation framework for TypeScript☆19Nov 20, 2025Updated 5 months ago
- Beautiful terminal output for Rust inspired by Python's Rich: tables, panels, syntax highlighting, progress bars, and full-color renderin…☆43Apr 10, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The RAD-Hack RPG text and tables, ready to be translated into your language☆12Apr 19, 2024Updated 2 years ago
- a base repo for a static site with netlifycms & sharp image optimization☆17Apr 5, 2026Updated 3 weeks ago
- 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…☆48Feb 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.…☆71Mar 20, 2026Updated last month
- Async first Twitter client☆17Dec 15, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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 3 weeks ago
- Lightweight path selector for searching Rust code☆17May 22, 2023Updated 2 years ago
- Robo Crosswords app for Android☆39Nov 29, 2018Updated 7 years 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 2 months ago
- This repository contains supplemental materials for the IEEE InfoVis 2018 submission "Hypothetical Outcome Plots Help Untrained Observers…☆14Oct 29, 2018Updated 7 years ago
- Convert Inter-Quake Models to glTF☆14Feb 20, 2019Updated 7 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.
- List of jabber servers on https://list.jabber.at☆15Nov 22, 2022Updated 3 years ago
- Fully compliant Gson-like TOML library for Java 8+☆51Mar 22, 2026Updated last month
- 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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 11 months ago
- Websocket replacement for Pusher☆12Mar 4, 2023Updated 3 years ago
- Prevent users from signing up with disposable email☆12Feb 15, 2026Updated 2 months ago
- Support for requesting objects from other objects dynamically based on type☆11Aug 25, 2020Updated 5 years ago