Cross-platform Devil Daggers modding tools, practice tools, and custom leaderboards client
☆17Apr 1, 2026Updated 2 weeks ago
Alternatives and similar repositories for ddinfo-tools
Users that are interested in ddinfo-tools are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- devildaggers.info website and web server☆10May 9, 2025Updated 11 months ago
- based on https://github.com/alexwilkerson/ddstats-go but its on rust and runs on linux☆14Aug 14, 2022Updated 3 years ago
- ☆14Apr 5, 2026Updated last week
- Procedural Rock Sprite, Model & Voxel Generator for Doom games☆12Jan 1, 2022Updated 4 years ago
- Attila is an open-source multiband distortion plug-in written in JUCE.☆13Oct 14, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A verified tensor library in Lean☆39Oct 9, 2025Updated 6 months ago
- ☆14Apr 28, 2024Updated last year
- async compile on neovim☆12Aug 17, 2023Updated 2 years ago
- A Neovim plugin that extends fzf-lua with additional utilities☆15Mar 19, 2025Updated last year
- Star Trader is a 1974 video game and an early example of the space trading genre. This is the original BASIC source code.☆13Sep 22, 2021Updated 4 years ago
- MyNote is a Neovim plugin that allows you to take notes in a floating window☆15Dec 11, 2025Updated 4 months ago
- serverless puppet to manage my machines☆13Apr 7, 2026Updated last week
- Imagine a Dependently Typed Python☆10Apr 4, 2025Updated last year
- Plugin for Neovim that allows you to quickly open a file located under the cursor☆20Nov 10, 2025Updated 5 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A unique interactive and visual D2 companion experience.☆13Sep 22, 2021Updated 4 years ago
- My neovim config☆13Mar 16, 2026Updated last month
- Personal neovim configuration☆14Apr 4, 2026Updated 2 weeks ago
- My configuration files☆12Dec 2, 2025Updated 4 months ago
- A portable (SDL) audio synthesizer / tone generator inspired by the Korg ER-1☆15Feb 2, 2026Updated 2 months ago
- Generate the IBus GTK or GNOME Shell theme from existing themes. (从现有主题中生成 IBus GTK 或 GNOME Shell 主题)☆23Jan 22, 2025Updated last year
- 📌 A buffer list that's always with you,quickly switch buf and prompt unsaved files!☆16Mar 26, 2024Updated 2 years ago
- Translate Python code to Rocq code for formal verification. Applied to the reference implementation of the Ethereum VM in Python (WIP, in…☆44Mar 29, 2026Updated 2 weeks ago
- Superfast lazygit+neovim integration☆16Updated this week
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Neovim plugin to simplify mason, mason-lspconfig and lspconfig configuration.☆11Feb 24, 2026Updated last month
- A JavaScript toolkit for remote net art performance.☆12May 1, 2016Updated 9 years ago
- A Lua plugin for Neovim that helps manage breakpoints (including exception filters), create advanced breakpoints using vim.ui.input, and …☆19Jan 9, 2026Updated 3 months ago
- Manage database connections and run SQL queries directly in Neovim with JSON results.☆31Mar 12, 2026Updated last month
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated 10 months ago
- Here be dragons☆17Mar 12, 2026Updated last month
- a neovim plugin that simplifies command running and speeds up your workflow☆12Sep 1, 2025Updated 7 months ago
- Just like a true arborist, manage your worktrees in neovim.☆19Nov 30, 2024Updated last year
- process video frame by frame inside "Extras" tab☆20Sep 22, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.