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.
-
Total Network Visibility for Network Engineers and IT ManagersThis means every device on your network, and every interface on every device is automatically analyzed for performance, errors, QoS, and configuration.
-
1
pglogical
Logical Replication extension for PostgreSQL
pglogical is an advanced logical replication extension for PostgreSQL that allows selective replication of data between databases. Unlike physical replication, it enables fine-grained control of which tables or changes to replicate. It’s well-suited for multi-master setups, version upgrades, and real-time data distribution across environments. -
2
wal2json
JSON output plugin for changeset extraction
wal2json is an output plugin for logical decoding. It means that the plugin have access to tuples produced by INSERT and UPDATE. Also, UPDATE/DELETE old row versions can be accessed depending on the configured replica identity. Changes can be consumed using the streaming protocol (logical replication slots) or by a special SQL API. format version 1 produces a JSON object per transaction. -
3
pgactive
PostgreSQL replication extension to create an active-active database
...Traditionally PostgreSQL supports active-standby setups (single writable master), but pgactive opens up use cases such as multi-region high-availability clusters, low-latency writes from distributed apps, and blue/green migrations where both sides are writable. It builds on PostgreSQL’s logical replication framework and offers mechanisms for conflict detection, resolution (e.g., last-write-wins), monitoring of lag and writes across nodes. Because active-active replication introduces new complexity (conflicts, schema changes, write amplification), pgactive provides tools for managing replication sets, conflict logging tables, and administrative commands to detach nodes or remove the extension. -
4
MyDumper
MyDumper project
MyDumper is a MySQL Logical Backup Tool. It has 2 tools. mydumper which is responsible to export a consistent backup of MySQL databases. myloader reads the backup from mydumper, connects the to destination database and imports the backup. Both tools use multithreading capabilities. MyDumper is Open Source and maintained by the community, it is not a Percona, MariaDB or MySQL product. -
Teradata VantageCloud Enterprise is a data analytics platform for performing advanced analytics on AWS, Azure, and Google Cloud.VantageCloud is the complete cloud analytics and data platform, delivering harmonized data and Trusted AI for all. Built for performance, flexibility, and openness, VantageCloud enables organizations to unify diverse data sources, run complex analytics, and deploy AI models—all within a single, scalable platform.
-
5
AWS IoT Device Shadow library
Client library for using AWS IoT Shadow service on embedded devices
...The device can send commands over MQTT to get, update and delete its latest state as well as receive notifications over MQTT about changes in its state. Each device’s shadow is uniquely identified by the name of the corresponding “thing”, a representation of a specific device or logical entity on the AWS Cloud. See Managing Devices with AWS IoT for more information on IoT "thing". More details about AWS IoT Device Shadow can be found in AWS IoT documentation. This library is distributed under the MIT Open Source License. -
6
Temporal Inference Engine
A real time inference engine for temporal logical specifications
A real time inference engine for temporal logical specifications, which is able to acquire, process and generate any binary or real signal through POSIX IPC, files or UNIX sockets. Specifications of signals and dynamic systems are represented as special graphs and executed in real time, with a predictable sampling time of few milliseconds. Real time signal processing, dynamic system control, state machine modeling and logical property verification are some fields of application of this software. ... -
7
array-info is a tool to retrieve informations and logical drives status from several RAID controllers (currently Compaq IDA and CISS, and MD).
-
8
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... -
9
joy of text
Editor with scripting language, security features & system interfaces.
Jot was developed general purpose editor for large CAD files. It's command-driven UI requires no mode switching and hence requires fewer keystrokes to get a typical job done. It is particularly useful for checking and cross-referencing between several source, intermediate and output files - a common requirement for CAD work. But jot's usefulness doesn't stop there. It's sophisticated search features can, for example, be used for interactive data mining or automating the extraction of... -
The complete IT asset and license management platformThe platform seamlessly integrates with 100+ IT systems, including MDM, RMM, IDP, SSO, HR, finance, helpdesk tools, and more.
-
10
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. ... -
11
proof-logic
Proof Logic : A logical framework for theorem proving
Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms. -
12
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... -
13
HSK
High Speed Karlsruhe open automotive code initiative
Since the summer of 2010, the FSAE team High Speed Karlsruhe uses Infineon's XC878 to power its electronics. The XC878 is an 8052 compatible 8-bit µC. Our dedication is to 8-bit real time applications, guaranteed by the powerful peripherals of the XC878. This project aims to publish those portions of our code, which may be of use to a wider audience. -
14
Roxblox - Atari XL/XE
Row&column sliding logical game
Took 3rd place at Abbuc SW contest 2011 -
15
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. -
16
A Disk Scheduling Simulator tool. With an intuitive GUI interface and command line functionality. Built using both VC and VB. Currently supports SSTF,LOOK,CLOOK,SCAN and CSCAN algorithms. Rotational latency is also optionally supported.
-
17
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. -
18
TeleScope
XML Data Stream Broker/Replicator
...The platform is intended to be operated upon the single number/word values and is not meant to be deployed for full-text XML stream analysis. TeleScope has internal query language with a set of standard logical operators that allows to construct relatively complex query expressions. The platform features the pub-sub architecture and serves a set of simultaneously connected XML stream subscribers. The broker features Continuous Query engine over the XML stream. TeleScope provides the remote cli interface to login (in cisco fashion via telnet) and change/reset the query transaction on the current stream on the fly in real time. ... -
19
slc
Symbolic Lambda Calculus
Symbolic Lambda Calculus is a logical formalism based on lambda calculus and combinatory logic, in which there is only one kind of objects, which can represent either terms or equalities. It uses de Bruijn's and lambda calculus notations. -
20
Logical Adder
Make the snake add the correct numbers and take them home.
Sammy the Adder has to add the right numbers to take to his hole in the ground. Can you steer him correctly in his task? A fun game for children and adults, and we can even pretend it's educational and play it at school! Use the arrow keys to move Sammy about. -
21
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. ... -
22
fuyard
Fleeing car based on a RC model
...The car maneuvers to keep clear from all obstacles. Objective: - Build-up some knowledge about robotics - Integrate existing components rather than develop them. Logical architecture: Project has several layers, each aiming to a higher level of abstraction: - Level one: The servo control and the sensor reading. - Level two: The throttle and steering control. - Level three: The pre-programmed maneuver engine. - Level four: The pilot. The pilot takes decisions based on the sensors, and executes maneuvers in sequences. ... -
23
-
24
Guardian
2D logical platformer created in 48 hours for the Game Jam Prague 2012
2D logical platformer created in 48 hours for the Game Jam Prague 2012 competition, where it won the first place. The given topic was "ouroboros" and because of that the game repeats three levels in four different seasons, where puzzles get more and more complicated every season. -
25
GSM Multiplexer Daemon is intended to be used for GSM Modens. It implements (a subset of) the GSM 07.10 standard, it can be used to multiplex one or more logical channels over one physical serial channel to the modem.
