Denios Files

Status: Alpha

Brought to you by: denioslinux

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
libcoq-mathcomp-bigenough_1.0.1-8+b3_amd64.deb	2023-02-04	26.3 kB	0
Totals: 1 Item		26.3 kB	0

Other Useful Business Software

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build generative AI apps with Vertex AI. Switch between models without switching platforms.

Start Free

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Recommended Projects

µOS++ (micro OS plus plus)
"µOS++" (micro OS plus plus) is an open source, royalty-free, real-time operating system intended for embedded systems built around ARM Cortex M or AVR devices. It is based on a preemptive scheduler written in C++ (more info in the Wiki).
Endian Firewall Community
Endian Firewall Community (EFW) is a "turn-key" linux security distribution that makes your system a full featured security appliance with Unified Threat Management (UTM) functionalities. The software has been designed for the best usability: very easy to install, use and manage and still greatly flexible. The feature suite includes stateful packet inspection firewall, application-level proxies for various protocols (HTTP, FTP, POP3, SMTP) with antivirus support, virus and spam-filtering for email traffic (POP and SMTP), content filtering of Web traffic and a "hassle free" VPN solution (based on both OpenVPN and IPsec).
Deb-Ice linux autoinstaller
Deb-Ice is an auto-installation CDROM for Debian which installs Debian Linux along with the IceWM window manager and desktop applications selected for speed and low memory use.
IPCop Firewall
Linux firewall distribution geared towards home and SOHO users.
PAUD - Parted And Utilities Disk
PAUD is a disk image that contains system utilities, such as fdisk, mc (midnight commander), parted, ntfsresize, and more. PAUD is ideal for rescue/administration purposes and transferring files from one filesystem to another for windows users.

Denios Files

Get an email when there's a new version of Denios