Search Results for "logical"
Sort By:
Showing 47 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.
-
Automate contact and company data extractionGenerate leads at scale without building or maintaining scrapers. Use 10,000+ ready-made tools that handle authentication, pagination, and anti-bot protection. Pull data from business directories, social profiles, and public sources, then export to your CRM or database via API. Schedule recurring extractions, enrich existing datasets, and integrate with your workflows.
-
1
NumCpp
C++ implementation of the Python Numpy library
A Templatized Header Only C++ Implementation of the Python NumPy Library. The main data structure in NumCpp is the NdArray. It is inherently a 2D array class, with 1D arrays being implemented as 1xN arrays. There is also a DataCube class that is provided as a convenience container for storing an array of 2D NdArrays, but it has limited usefulness past a simple container. -
2
TensorStore
Library for reading and writing large multi-dimensional arrays
TensorStore is a high-performance library for reading and writing N-dimensional arrays that live in many different storage systems, from local files to cloud object stores. It separates the logical view (shape, dtype, chunking) from the physical layout so the same code can target Zarr, N5, TIFF pyramids, or custom backends. Rich indexing, slicing, and broadcasting operations make it feel like a familiar array API, while asynchronous I/O pipelines stream chunks efficiently in parallel. Transactional semantics allow atomic updates and consistent snapshots, which is essential for large, shared datasets used by ML and scientific workflows. ... -
3
Soufflé
Datalog variant for tool designers crafting analyses in Horn clauses
Rapid prototyping for your analysis problems with logic; enabling deep design-space explorations; designed for large-scale static analysis; e.g., points-to analysis for Java, taint-analysis, and security checks. Futamura projections/partial evaluation for effective translation to parallel C++; optimized staged compilation; specialized data-structures for logical relations. Efficient translation to parallel C++ of Datalog programs (CAV'16, CC'16) Efficient interpretation using de-specialization techniques (PLDI'21) Specialized data structure for relations (PACT'19, PPoPP'19, PMAM'19) with optimal index selection (VLDB'18) Extended semantics of Datalog, e.g., permitting unbounded recursions with numbers and terms. ... -
4
A SpaceLife DNS-Nuke Dev
Aiming to build the "SpaceLife-OS" and host a member website on it
Understand, 'Open Source-Code' is an evolutionary growth which starts with a Universal SpaceLife-Membrane's micro-electron's forming Galactic Cores with output quark SpaceField Organelle's ingrown to a atomic cell compound Planet Celllife all the way through to Bio-Logical Mind and BioLogically Driven DNS-nucleuses (ie properly configured computers) Virtual-Space. This understanding is enouth to compel one to learn about computer's and computer programming, through the Bio-Logical Collective-Intellectual-Conscience compound Opensource Community, to thereby build said DNS-nucleus by reference to Linux From Scratch (not started). ... -
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.
-
5
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... -
6
GAUDIKA Legacy
Reproductor de Audio Multiformato | Multi-format Music Player
Reproductor de Audio portable basado en la librería BASS, Liviano, Rápido y simple de usar. Ahora soporta multiples lenguajes. Portable audio player based on BASS library, Lightweight, Fast and easy to use. Now supports multiple languages. -
7
Candy's Space Mysteries II
With the helpfull nef, you have to rescue earthlike planets!
During their recent spacetrip, Candy & Noopy get trapped into a giant wormhole! They made a long light trip and found a passage who leads to the Milky Way. They was searching for a place to land, they have found the Earth. Knowing that great cataclysms are menacing their homeplanet, Candy & Noopy said together: - "We must save the Earth!". Since some times, the star masses, combined with the magnetic-fields of this planet gave special powers to the spaceship: The one of... -
8
DiInSo
DiInSo is orient to solve 3D direct and 2D/3D inverse problems of ERT
...READ CAREFULLY NEXT IMPORTANT MESSAGE NEVER use BLANKS and try to use only ENGLISH SYMBOLS in directories, filenames, paths and names of problems in program DiInSo. It is highly recommended to install DiInSo in root directory of any logical disk. If you have any error messages at program start, try to install 'Visual C++ Redistributable for VS2015' from Microsoft internet site or from directory 'redist'. At that moment ENGLISH and RUSSIAN full documentation of DiInSo available. DiInSo now in early pre-release beta-mode, so be ready to small, middle, big and even critical errors. ------------ Your chief programmer, Arkadiy Marinenko. ... -
9
This project provides a generator for conneting the YAKINDU Statecharttools with a Qt application. Since the concept of incoming and outgoing events is similar to the Qt signal and slot concept it is logical to link both together. Note that the generated code is an Addon onto the already generated C++-Code from SCT. So you need two sgen-files. One to generate the C++ statemachine and one to generate the link layer between the statemachine and your Qt application.
-
Grafana: The open and composable observability platformGrafana is the open source analytics & monitoring solution for every database.
-
10
SQLCheck
Automatically identify anti-patterns in SQL queries
sqlcheck automatically detects common SQL anti-patterns. Such anti-patterns often slow down queries. Addressing them will, therefore, help accelerate queries. Storing a list of IDs as a VARCHAR/TEXT column can cause performance and data integrity problems. Querying against such a column would require using pattern-matching expressions. It is awkward and costly to join a comma-separated list to matching rows. This will make it harder to validate IDs. Think about what is the greatest number of... -
11
ObjectBuilder2
C++ CASE tool, full life cycle code generator
ObjectBuilder is a C++ code generation CASE tool (CASE, code generation, refactoring, documentation generation). It lets you create, manipulate and navigate classes, class relations, class members and class methods at a high level of abstraction. ObjectBuilder dramatically simplify work with C++ project architecture. I use it and think that tree OO interface targeted to C++ more fast and power than UML class diagrams. ObjectBuilder perfectly organize C++ header files with any level of... -
12
MACE Algebraic Calculator
MACE is a Mathematical program for Algorithms, Calculations, Equations
...It is designed to be as easy to run as a hand-held calculator. The goal is a neat tool covering all fields of mathematics at advanced highschool and university level. MACE has 230 logical operations, statistical distributions and functions in the fields Analysis, Arithmetic, Complex Functions, Linear Algebra, Differential Calculus, Statistics and Signal Processing. MACE provides a dialog, which supports you to insert functions intuitively. Moreover Mace has a comprehensive help menu to support the user. MACE has also its own skripting language for the advanced user. ... -
13
KAREL 3D C++ ( Karel the Robot in 3D )
Karel - 3D language interpreter
...First KAREL-3D is created in 1986 after Karel the Robot, in Slovakia ( before Czechoslovakia ) on 8 bit microcomputer PMD 85-2 for school kids to learn algorithm and what is programming, teach know how to solve a logical problem, like Spock and his children from the planet Vulcan ( live long and prosper ). because it's fun Actual WebGL version: https://sourceforge.net/projects/karel-3d-webgl/ -
14
FtpDrive
Emulates logical drive with mounted FTP/FTPS servers
FTP Drive - program for Windows 2000/XP/2003/Vista, that allows working with FTP for those programs, that don't know what is FTP. Emulates logical drive, where selected FTP/FTPS servers are mounted as folders Useful for example for viewing films, listening files directly from FTP server without pre-downloading whole file. This is achieved by emulation of virtual drive, on which FTP servers are placed on the Native NT API level. Completely implements read operations for FTP files Partially implements write operations for FTP files (see 'How to use') Can intercept opening ftp:// links from other applications - simple press Ctrl key while opening ftp:// path and it will be opened on FtpDrive Compatible with many applications, except those, that uses own drivers to access files Caches directories structure and read files data This is old project, just decided to share its sources -
15
Linknx is an automation platform providing high level functionalities to EIB/KNX installation. The rules engine allows execution of actions based on complex logical conditions and timers. Lightweight design allows it to run on embedded Linux. The project has been migrated to Github in 2015: https://github.com/linknx/linknx
-
16
Tardyon Drive AVR Stepper Controller
AVR-based single axis stepper motor controller
This project provides an AVR-based, USB accessible, single-axis motion controller that can fit into an USB-connector completely and therefore is probably the worlds smallest stepper motor controller. Here both, hardware schematics and all software components are provided. -
17
Rsync Vault Manager (rvm) is an archiving manager that uses rsync to create and maintain archives on one or more directories on seperate logical partitions (vaults).
-
18
prodatum
patch editor for the E-MU Proteus 2000 synthesizer family
A cross-platform patch editor for the E-MU Proteus 2000 sample-based synthesizer family. prodatum is free software. -
19
Intellectual Football
Logical version of the football game.
...Infoot is a game where you may apply your logical abilities to make a goal to the opponent. Game field is similar to common football field, you and your opponent have goals. And you need to move the ball to opponent's goal. The software allows you play with another man on the same computer or you can play in along mode versus computer AI. -
20
Corners is a logical board game as known as Halma or Chinese checkers. The game is played by two players on opposing corners of the board. The goal of the game is to transfer all of one's pieces from one's own camp into the camp in the opposing cor
-
21
tView
An Image Viewer that currently perform basic image viewing operation
An Image Viewer that currently supports basic image viewing and only works with shortcut keys so far (like arrow keys, Ctrl+o), 1) Event based architecture 2) Multi threaded 3) Logical File name Sorting 4) Plugin based architecture (Todo) -
22
InfiniDB is now hosted on github.
-
23
GambleKit
C++ Framework for slot machine games
GambleKit is a free open-source C++ object oriented library for quick and easy building of slot machine and gambling games with reels and GUI management. It relies basically on declarative programming style, so the programmer needs simply to declare, for example at creation time, the basic layout and behavior of the game, and then leave the game flow, requiring as little additional intervention as possible. The project is welcoming contributors and feedback is appreciated! The next... -
24
XOR Basic Randomness Checker v1.5
This utility perform a logical exclusion ("XOR") on two files.
This utility perform a basic logical exclusion ("XOR") on two files, convert each to both HEX and BINARY, and perform basic pseudo-random number sequence tests from (http://www.fourmilab.ch/random/). -
25
Lincalc
A powerful console calculator with a fast and simple interface.
(Graphical Edition Released, BreezyCalc: http://breezycalc.sourceforge.net/) Lincalc is a console calculator designed to provide a quick and simple interface to a very powerful engine. Its parser is based on muParser <http://muparser.sourceforge.net/>. It supports user-defined variables, logical operators for conditions, and a wide range of mathematical functions each calculation that is made is stored in a result variable (Ans1, Ans2..) and can be referenced in equations. It also supports evaluation of multiple equations each separated by a ','. Conditional Statements: -- Ex. (condition) ? (true val) : (false val) Logic Operators: -- && (and), || (or) Comparison Operators: -- <= (less than or equal to) -- >= (greater than or equal to) -- < (less than), > (greater than) -- !...
