ndmsystems/packages external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

ndmsystems/packages

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/ndmsystems/packages)

Close

ndmsystems / packagesView on GitHubMore

• External links
• Readme badge

NDM Systems opkg feed

☆22Jun 6, 2016Updated 9 years ago

Alternatives and similar repositories for packages

Users that are interested in packages are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• Entware-for-kernel-3x / Entware-ng-3x

  View on GitHub
  Ultimate repo for embedded devices
  ☆45Mar 9, 2018Updated 8 years ago
• Saizan / parametric-demo

  View on GitHub
  ☆12Jul 8, 2019Updated 6 years ago
• yingted / miredo

  View on GitHub
  miredo for android
  ☆11Jan 5, 2014Updated 12 years ago
• cosinusoidally / mp2dec.js

  View on GitHub
  JavaScript MPEG-1 Audio Layer II decoder
  ☆11Aug 7, 2016Updated 9 years ago
• ahmadsalim / desc-n-crunch

  View on GitHub
  Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.
  ☆11Jan 14, 2019Updated 7 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• erpuno / upl

  View on GitHub
  💠 UPL: Мова опису кредитних програм
  ☆20Jan 26, 2016Updated 10 years ago
• Blaisorblade / Agda-playground

  View on GitHub
  My Agda experiments
  ☆12Sep 26, 2019Updated 6 years ago
• DennoN-RUS / Bird4Static

  View on GitHub
  ☆211May 6, 2026Updated 2 weeks ago
• steinitzu / humblebee

  View on GitHub
  TV show scraper/renamer thingy
  ☆12May 10, 2013Updated 13 years ago
• mrocklin / matrix-algebra

  View on GitHub
  An algebra for Matrix Expressions written in Maude
  ☆24Oct 23, 2012Updated 13 years ago
• MetaBorgCube / IceDust

  View on GitHub
  A language for data modeling and incremental computing of derived values
  ☆11May 7, 2024Updated 2 years ago
• i-am-tom / LICK

  View on GitHub
  Idris-written, correct-by-construction, simply-typed lambda calculus.
  ☆39May 21, 2018Updated 8 years ago
• vessi / erlcourses

  View on GitHub
  Slides and code for first Erlang courses
  ☆10Nov 8, 2015Updated 10 years ago
• wygoralves / panes

  View on GitHub
  Open Source panel to orchestrate agents, terminal, and git
  ☆73May 3, 2026Updated 3 weeks ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• benincasantonio / gemini-ai-telegram-bot

  View on GitHub
  This project is a Python-based Telegram chatbot that uses Google's Generative AI (Gemini) for responses. It utilizes Flask for the web se…
  ☆15Apr 29, 2026Updated 3 weeks ago
• lashnag / telegram-forwarder

  View on GitHub
  ☆24Apr 6, 2026Updated last month
• x3group-dev / bitrix24-api-laravel

  View on GitHub
  ☆13Mar 12, 2026Updated 2 months ago
• metaborg / mj.agda

  View on GitHub
  https://metaborg.github.io/mj.agda/
  ☆13Oct 14, 2020Updated 5 years ago
• effectfully / Cubes

  View on GitHub
  A dependently typed type checker for a TT with intervals
  ☆24Feb 6, 2020Updated 6 years ago
• yoricksijsling / ornaments-thesis

  View on GitHub
  My master thesis about generic programming and ornaments
  ☆16Jul 5, 2016Updated 9 years ago
• Ground-Zerro / Wireguard-DPI-blocking-bypass

  View on GitHub
  Обход ТСПУ блокировки для протокола Wireguard на роутерах Keenetic
  ☆74May 12, 2025Updated last year
• mikeshulman / dirtt

  View on GitHub
  Directed type theory for formal category theory
  ☆18Apr 7, 2017Updated 9 years ago
• likDanil / Domain-Inspector

  View on GitHub
  Расширение для браузеров на Chromium. Показывает все домены, с которых загружается текущая страница.
  ☆16Jan 31, 2026Updated 3 months ago
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
• Invicton-Labs / terraform-external-shell-data

  View on GitHub
  ☆16Jul 19, 2024Updated last year
• kurain / co2mini

  View on GitHub
  Reading value of USB CO2 sensor 'CO2mini'.
  ☆13Jan 24, 2016Updated 10 years ago
• frelindb / agsyHOL

  View on GitHub
  ☆23May 19, 2016Updated 10 years ago
• agda-attic / agda-spec

  View on GitHub
  Specification of Agda.
  ☆25Jan 13, 2019Updated 7 years ago
• geekahedron / SteamGameAutoJoin

  View on GitHub
  AutoJoin script for game lobby page of 2015 Steam Summer Minigame
  ☆17Jun 22, 2015Updated 10 years ago
• google / idris-protobuf

  View on GitHub
  A partial implementation of Protocol Buffers in Idris
  ☆32Aug 12, 2017Updated 8 years ago
• agda / ooAgda

  View on GitHub
  Interactive and object-oriented programming in Agda using coinductive types
  ☆25Nov 29, 2025Updated 5 months ago
• spatiumstas / web4static

  View on GitHub
  Веб‑интерфейс управления конфигурациями Bird4Static - IPset4Static - NFQWS - NFQWS2 - XKeen - HydraRoute - Antiscan - Xray - sing-box - d…
  ☆128Apr 12, 2026Updated last month
• TheByteStuff / RemoteSyslog_Service

  View on GitHub
  Home Assistant Custom Component - send Syslog message to remote server.
  ☆25Feb 23, 2023Updated 3 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• AndrasKovacs / stlc-nbe

  View on GitHub
  Correctness of normalization-by-evaluation for STLC
  ☆24Oct 1, 2019Updated 6 years ago
• leftaroundabout / constrained-categories

  View on GitHub
  Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds
  ☆22May 18, 2023Updated 3 years ago
• effectfully / random-stuff

  View on GitHub
  ☆20Aug 13, 2024Updated last year
• metaborg / linear.agda

  View on GitHub
  A library and case-study for linear, intrinsically-typed interpreters in Agda
  ☆36Dec 21, 2019Updated 6 years ago
• maksimkurb / ansible-keenetic-domain-routing

  View on GitHub
  Configure your Keenetic routers to route specific domains through specific gateways
  ☆20Nov 11, 2024Updated last year
• malinovsku / ha-keenetic_api

  View on GitHub
  Интеграция для Home Assistant, предоставляющая полный контроль и мониторинг за роутерами Keenetic через API.
  ☆135Nov 27, 2025Updated 5 months ago
• ElizarovEugene / TorrentMonitor

  View on GitHub
  TorrentMonitor php engine
  ☆319May 16, 2026Updated last week