Search Results for "logical"
Sort By:
Showing 12 open source projects for "logical"
View related business solutions-
Vibes don’t ship, Retool doesVibe coding tools create cool demos, but Retool helps you build software your company can actually use. Generate internal apps that connect directly to your data—deployed in your cloud with enterprise security from day one. Build dashboards, admin panels, and workflows with granular permissions already in place. Stop prototyping and ship on a platform that actually passes security review.
-
Atera all-in-one platform IT management software with AI agentsAtera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
-
1
alphageometry
AI-driven neuro-symbolic solver for high-school geometry problems
...AlphaGeometry integrates a symbolic deduction engine with a transformer-based language model to propose and validate geometric constructions in a stepwise proof process. The DDAR solver focuses purely on rule-based reasoning, while AlphaGeometry enhances this by using a learned model to suggest auxiliary constructions when logical reasoning alone is insufficient. The repository includes pre-trained weights, vocabulary files, and detailed configuration options for reproducing experiments. -
2
Coconut
Training Large Language Model to Reason in a Continuous Latent Space
...The repository is built with Hugging Face Transformers, PyTorch Distributed, and Weights & Biases (wandb) for logging, supporting large-scale experiments on mathematical and logical reasoning datasets such as GSM8K, ProntoQA, and ProsQA. -
3
Monitoring AIX, VMware,Oracle, Nutanix
AIX, Linux, VMware, Nutanix, Oracle, RHV, Cloud performance monitoring
The tool offers you end-to-end views of your server environment and can save you significant money in operation monitoring by predicting utilization bottlenecks in your virtualized environment. You can also generate policy-based alerts, capacity reports and load forecasts. The product supports these virtualization platforms: - IBM Power Systems - VMware - Nutanix - Proxmox - Huawei FusionCompute - OracleVM - Oracle Solaris LDOM, CDOM, Zone - oVirt / RedHat Virtualization... -
4
Debian Install System
This command line utility installs Debian system non-interactively.
...By default it chooses largest disk for installation. If there are more then one such disk of the same size, it makes RAID array. Separate partitions are used for /boot, and /, and logical volumes for /usr, /var, /tmp and /home. Only minimal disk space are allocated. You should expand (may be done online) logical volumes and file systems when You need to get more disk space. Also there are option to install system into single pre-mount point. In this case partitioning and mounting every part leave on Your own. -
Financial reporting cloud-based software.The software is cloud based and automates complexities around consolidating and reporting for groups with multiple year ends, currencies and ERP systems with a slice and dice approach to reporting. While retaining the structure, control and validation needed in a financial reporting tool, we’ve managed to keep things flexible.
-
5
Awesome-Kubernetes
A curated list for awesome kubernetes sources
...Kubernetes is an open-source system for automating deployment, scaling, and management of containerized applications. It groups containers that make up an application into logical units for easy management and discovery. The first unified container-management system developed at Google was the system we internally call Borg. It was built to manage both long-running services and batch jobs, which had previously been handled by two separate systems: Babysitter and the Global Work Queue. The latter’s architecture strongly influenced Borg, but was focused on batch jobs; both predated Linux control groups. ... -
6
driveinfo
A macOS command which provides partition information for GPT drives.
The driveinfo command gets detailed information about a specific drive. The script parses property lists emitted by the diskutil command to compile the information. If the drive contains a GUID Partition Table (GPT), then detailed information about each partition is also included in a tabular form. This also allows free space on a drive, using a GPT, to be identified. The gpt command can be used to view the actual stored GPT values in in a tabular form. Starting with macOS, the gpt... -
7
This command-line Linux installer (programmed in the Bash language) provides an easy way to install Linux without needing a graphical interface or server. It works in a linear fashion.
-
8
bkdar
backup system using dar
Written in bash, is a very simple backup tool designed for backup a system on disks attached locally (tipically USB disks). Based on DAR (https://sourceforge.net/projects/dar/), it suppports continously backup (using LVM snapshots and incremental backups). Once installed there are only two configuration files: - /etc/bkdar.conf where you define _how_ the backup is perfmored - /etc/cron.d/bkdar where you define _when_ the backup is performed -
9
JaiHind
Shell Automation for Linux Newbies
When it comes to use of Linux, its a champ on the server side but when it comes to the desktop, its hardly just 3% in the whole world when compared to other proprietary OS and what keeps people from using it and why has it not made its mark on the Desktops yet ? Though Linux has got its success to accomplish its most common tasks through GUI approach, it still demands the users to be logical and use of terminal to accomplish certain tasks that cannot be done as easily as on other proprietary OS. So, we decided to write this script that would accomplish most of your common tasks at a hit of keystrokes and you would not need to remember any commands to accomplish your task. -
AestheticsPro Medical Spa SoftwareAestheticsPro is the most complete Aesthetics Software on the market today. HIPAA Cloud Compliant with electronic charting, integrated POS, targeted marketing and results driven reporting; AestheticsPro delivers the tools you need to manage your medical spa business. It is our mission To Provide an All-in-One Cutting Edge Software to the Aesthetics Industry.
-
10
lsdisk
The program creates a list of attached disks without root privileges.
...Standard Call - List : blank od -l - System name (if lsb_release installed) - Architecture (with uname) - Kernel loaded (/proc/cmdline) - BIOS- or EFI-mode loaded - Device (/dev/sdXY) and partition count - Model name, disk size and logical/physical sector size - start, end and size in sectors and Bytes - filesystem (if mounted) - mountpoint (if mounted) - label - UUID When the script runs with root privileges, there are three more information: EFI- or BIOS-Mainboard, name of the partition table (msdos. GPT, ...) and the partion-id by partition without UUID, e.G.: ID 05, extended. ... -
11
A set of backup scripts for backing up folders, logical volumes, mysql and postgres databases to remote hosts over ssh.
-
12
Utility for presentation of Physical & Logical Storage for AIX. It use output from system commands to make presentation of VGs, LVs and disks in HTML format.
- Previous
- You're on page 1
- Next
