Search Results for "logical"
Sort By:
Showing 42 open source projects for "logical"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Lightspeed golf course management softwareFrom tee sheet management, point of sale and payment processing to marketing, automation, reporting and more—Lightspeed is built for the pro shop, restaurant, back office, beverage cart and beyond.
-
1
GLM-4.6
Agentic, Reasoning, and Coding (ARC) foundation models
GLM-4.6 is the latest iteration of Zhipu AI’s foundation model, delivering significant advancements over GLM-4.5. It introduces an extended 200K token context window, enabling more sophisticated long-context reasoning and agentic workflows. The model achieves superior coding performance, excelling in benchmarks and practical coding assistants such as Claude Code, Cline, Roo Code, and Kilo Code. Its reasoning capabilities have been strengthened, including improved tool usage during inference... -
2
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. -
3
Agno
Lightweight framework for building Agents with memory, knowledge, etc.
Agno is a modular, open-source artificial general intelligence (AGI) research platform that allows developers to build, evaluate, and experiment with cognitive architectures in a composable way. It provides a flexible framework for modeling reasoning, memory, decision-making, and planning, aimed at long-term AI research beyond narrow learning. Agno embraces multi-agent environments and symbolic reasoning as part of its core design, enabling experiments with structured knowledge,... -
4
DeepSeek R1
Open-source, high-performance AI model with advanced reasoning
DeepSeek-R1 is an open-source large language model developed by DeepSeek, designed to excel in complex reasoning tasks across domains such as mathematics, coding, and language. DeepSeek R1 offers unrestricted access for both commercial and academic use. The model employs a Mixture of Experts (MoE) architecture, comprising 671 billion total parameters with 37 billion active parameters per token, and supports a context length of up to 128,000 tokens. DeepSeek-R1's training regimen uniquely... -
Create and run cloud-based virtual machines.Computing infrastructure in predefined or custom machine sizes to accelerate your cloud transformation. General purpose (E2, N1, N2, N2D) machines provide a good balance of price and performance. Compute optimized (C2) machines offer high-end vCPU performance for compute-intensive workloads. Memory optimized (M2) machines offer the highest memory and are great for in-memory databases. Accelerator optimized (A2) machines are based on the A100 GPU, for very demanding applications.
-
5
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. -
6
GLM-4
GLM-4 series: Open Multilingual Multimodal Chat LMs
...The GLM-4-32B-0414 models are trained on ~15T high-quality data (including substantial synthetic reasoning data), then post-trained with preference alignment, rejection sampling, and reinforcement learning to improve instruction following, coding, function calling, and agent-style behaviors. The GLM-Z1-32B-0414 line adds deeper mathematical, coding, and logical reasoning via extended reinforcement learning and pairwise ranking feedback, while GLM-Z1-Rumination-32B-0414 introduces a “rumination” mode that performs longer, tool-using deep research for complex, open-ended tasks. A lightweight GLM-Z1-9B-0414 brings many of these techniques to a smaller model, targeting strong reasoning under tight resource budgets. -
7
Cookiecutter Data Science
Project structure for doing and sharing data science work
A logical, reasonably standardized, but flexible project structure for doing and sharing data science work. When we think about data analysis, we often think just about the resulting reports, insights, or visualizations. While these end products are generally the main event, it's easy to focus on making the products look nice and ignore the quality of the code that generates them. -
8
Yandex Music API
Non-official Python library for works with API service Index
...In addition to implementing a clean API, this library has a number of — high-level wrapping classes in order to make the development of customers and scripts simple and understandable. All documentation was written from scratch based on logical analysis during reverse development (reverse engineering) API. -
9
Advanced Trigonometry Calculator
Precision Trigonometry: Advanced Calculator for Complex Math
Advanced Trigonometry Calculator is equipped with a user-friendly interface that allows for easy input of problems and instant computation. Professionals such as engineers who need to perform advanced trigonometric calculations in their work will find this tool extremely useful. ATC Online Alpha: https://advantrigoncalc.sourceforge.io/atc/ More info by clicking below: https://advantrigoncalc.sourceforge.io/ Advanced Trigonometry Calculator was only and always only developed by... -
Easy-to-Use Website Accessibility WidgetAll in One Accessibility is an AI based accessibility tool that helps organizations to enhance the accessibility and usability of websites quickly.
-
10
Practice Python
Part of my daily plan for studying Python
practice-python provides a structured set of small, focused exercises aimed at building fluency with Python fundamentals. The tasks emphasize real coding over passive reading, nudging you to write, run, and iterate on solutions. Exercises commonly target strings, lists, dictionaries, control flow, functions, classes, and common algorithms, reinforcing idiomatic Python patterns. Many problems are intentionally minimal in boilerplate so you can concentrate on logic and clarity. The collection... -
11
Pytholog
A logic programming tool and a logical database with a RESTful API
Pytholog Tool (Command line & API) An executable tool, built in python, that enables logic programming and prolog syntax through interactive shell that mimics prolog language and / or RESTful API that can be called from other applications. The tool is based on the python library pytholog which can be found here: https://github.com/mnoorfawi/pytholog The tool starts normally from the command line. Let's look at the arguments that can be specified while initiating the tool: $... -
12
Budou
Budou is an auto organizer tool for beautiful line breaking in CJK
...Unlike English, CJK scripts lack spaces or hyphenation cues, often resulting in awkward or unreadable text wrapping on web pages. Budou addresses this issue by segmenting sentences into logical lexical chunks and wrapping each chunk in non-breaking HTML <span> tags. These spans can be styled with CSS to ensure smooth, visually coherent line breaks without splitting words or phrases. The tool supports multiple segmentation backends, including Google Cloud Natural Language API, MeCab, and TinySegmenter, enabling flexibility for both cloud-based and offline processing. ... -
13
AerinSistemas-Noname
Elasticsearch to Pandas dataframe or CSV
API and command line utility, written in Python, for querying Elasticsearch exporting result as documents into a CSV file. The search can be done using logical operators or ranges, in combination or alone. The output can be limited to the desired attributes. Also ToT can insert the querying to a Pandas Dataframe or/and save its in a HDF5 container (under development). -
14
ANGie
Alice Next Generation (internet entity)
...Wallace and the ALICE AI Foundation and the PyAIML code base written by Cort Stratton, the ANGie project incorporates additional AIML sets, adds its own AIML to the set, adds new AIML tags and additional code to provide more dynamic responses and more logical case-based-reasoning. Reading through most AIML sets it seems like the authors' intention was to have a response to every input that a bot has ever seen. The ANGie project strives to have intelligent and sensible responses, but to allow the bot to have no response when the meaning of the input is inconclusive, when additional context would be required to properly respond, or in general for questions for which the bot is unprepared - in order to create a bot that is capable of carrying on basic conversations with a human similar to the sort of small talk that two humans might have. ... -
15
d81s
SAN visualization tool
SAN visualization tool, developed to build a complete map of a Fibre Channel SAN by tracing all paths from HBAs to storage logical devices. Currently it supports Brocade SAN with Hitachi Command Suite and HP Command View Advanced Edition devices, 3PAR StoreServ 7000, EVA and IBM TS3500 tape libraries. -
16
DC/OS
DC/OS - The Datacenter Operating System
DC/OS (Datacenter Operating System) is an open-source distributed operating system based on the Apache Mesos kernel. It abstracts a cluster of machines into a single logical computer, simplifying the deployment and management of containerized applications and services. DC/OS provides a comprehensive platform for running modern applications with features like container orchestration, service discovery, and scalability. -
17
System Storage Manager
A single tool to manage your storage
System Storage Manager provides easy to use command line interface to manage your storage using various technologies like lvm, btrfs, encrypted volumes and possibly more. In more sophisticated enterprise storage environments, management with Device Mapper (dm), Logical Volume Manager (LVM), or Multiple Devices (md) is becoming increasingly more difficult. With file systems added to the mix, the number of tools needed to configure and manage storage has grown so large that it is simply not user friendly. With so many options for a system administrator to consider, the opportunity for errors and problems is large. ... -
18
Logicheck
An interactive tool to test logical structures and expressions
This program is intended to be useful for testing Boolean logic or propositional logic. It sets out logical expressions with symbols such as "AND" and "OR" in a graphical user interface. A truth table can then be generated for any such set of expressions. It can also be used to test the validity of deductive arguments - the program will advise whether an argument is valid and if not, list the counter examples to the argument. -
19
lbatofile
Map logical block address to filename
A sysadmin tool that maps a sector (for example a bad sector) to a filename (so you know which file got trashed). It relies on and integrates a variety of other tools such as blkid, lvm, and debugfs to chase the sector number through the layers of partitions, logical volumes, and filesystems that are part of a modern system. -
20
math lib for .NET. n-dim arrays, complex numbers, linear algebra, FFT, sorting, cells- and logical arrays as well as 3D plotting classes help developing algorithms on every platform supporting .NET. Sources from SVN, binaries: http://ilnumerics.net
-
21
UOItemAssist
An simple assist tool for managing Ultima Online Items
...With UOItemAssist, you can do: 1. Search and list all items in your opening backpack 2. Multi-selection and organize your container 3. Drag one item 4. Filter items, even use logical "and" Interest functions: Use keyword "OR" to find different items, like: "ring OR bracelet" Use keyword "PROP:" to find a item which contain the special property, like: "PROP:undead slayer" so, we can do: "ring OR bracelet OR PROP:undead slayer" New function at v1.5: Use hotkey Alt+z to make a new search in the Game windows Current Version: UOItemAssist v1.5 Client needed: Ultima Online Client 7.0.37.0 or lower BUG report： ushiao.jin@flykun.com !!! ... -
22
lslv
LiSt Logical Volumes
LSLV (LiSt Logical Volumes) was created as a more CLI-friendly alternative to "diskpart" for viewing the stats of logical volumes present on the host system. Requires IronPython For more information please view the README.txt file -
23
NCP+
Network Control Plane
Network Control Plane is the component of the GEYSERS architecture responsible for the automatic, seamless and one-step setup of IT & networks resources through GMPLS extended protocols and engines; and the Network+IT Provisioning Service (NIPS), which includes all the specific transactions among the application layer, the NCP and the logical layer to instantiate the distributed IT service. More details: 1.User Guide - http://sourceforge.net/projects/geysers-ncp/files/NCP-manual-v0.1.pdf 2.VM image repository - http://150.254.171.133/vm_geysers/GEYSERS_WP4_v0.5.0_final.ova -
24
Mollino
Not your usual Architectural Modeler
...I think there's place for an open software that doesn't work like the existing. It will be simple in its tools and processes, and will have infinite capabilities. This will be possible by defining a logical structure. As I am an architect, and I know very little about programming, and wouldn't reach even in 10 years the necessary level to be able to write anything useful for this type of software, my part will be to bring ideas and coherence to this project. If you want to know some more : - go to the blog https://sourceforge.net/p/mollino/blog/ - write me a message ;) I speak french, german, english and italian. ... -
25
