Search Results for "logic analysis"
Sort By:
Showing 19 open source projects for "logic analysis"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
Stop vibe-debugging.AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
-
1
Fuzzy Logic Tools (FLT) is a C++ framework for storage, analysis and design of fully general multiple-input multiple-output (MIMO) Takagi-Sugeno fuzzy control systems, without constraints in the order of either the inputs or the output vectors.
-
2
StreamAlert
StreamAlert is a serverless, realtime data analysis framework
StreamAlert is a serverless, real-time data analysis framework that empowers you to ingest, analyze, and alert on data from any environment, using data sources and alerting logic you define. Computer security teams use StreamAlert to scan terabytes of log data every day for incident detection and response. Incoming log data will be classified and processed by the rules engine. Alerts are then sent to one or more outputs. -
3
MTBook
Machine Translation: Foundations and Models
This is a tutorial, the purpose is to introduce the basic knowledge and modeling methods of machine translation systematically, and on this basis, discuss some cutting-edge technologies of machine translation (formerly known as "Machine Translation: Statistical Modeling and Deep Learning") method"). Its content is compiled into a book, which can be used for the study of senior undergraduates and graduate students in computer and artificial intelligence related majors, and can also be used as... -
4
JDecisiontable
Stop to rack your brain, start using process-oriented decision tables!
This tool is about a method called "process-oriented decision tables". These are decision tables but different from "normal" decision tables. They fix the flaws of traditional decision tables making it a joy to work with. But they keep all benefits of traditional decision tables. First of all they present the logic in a very dense form. 1. Explore all possible combinations of conditions and actions by question-and-answer. 2. Have a compact one-sheet-view on complex logic. ... -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
5
Open Source Data Quality and Profiling
World's first open source data quality & data preparation project
This project is dedicated to open source data quality and data preparation solutions. Data Quality includes profiling, filtering, governance, similarity check, data enrichment alteration, real time alerting, basket analysis, bubble chart Warehouse validation, single customer view etc. defined by Strategy. This tool is developing high performance integrated data management platform which will seamlessly do Data Integration, Data Profiling, Data Quality, Data Preparation, Dummy Data... -
6
QtiPlot is a user-friendly, platform independent data analysis and visualization application similar to the non-free Windows program Origin.
-
7
codelyzer
Static analysis for Angular projects
...If you're using Sass for instance, you can allow codelyzer to analyze your styles by creating a file .codelyzer.js in the root of your project (where the node_modules directory is). In the configuration file can implement custom pre-processing and template resolution logic. Lint rules encode logic for syntactic & semantic checks of TypeScript, HTML, CSS and Angular expressions source code. -
8
A shell for using the methods of Contextual Logic to do qualitative data analysis, mathematical research on the theory underlying Conceptual Knowledge Processing, or learning Formal Concept Analysis. It uses the framework provided by the Tockit project..
-
9
DataCleaner
Data quality analysis, profiling, cleansing, duplicate detection +more
DataCleaner is a data quality analysis application and a solution platform for DQ solutions. It's core is a strong data profiling engine, which is extensible and thereby adds data cleansing, transformations, enrichment, deduplication, matching and merging. Website: http://datacleaner.github.io -
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
10
VeriSiMPL
Verification via biSimulations of Max-Plus-Linear models
This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models... -
11
Myrtle
A simple programmable spreadsheet for learning statistics.
Myrtle is a simple programmable spreadsheet and statistical analysis software specifically designed for learning statistics. It provides the standard spreadsheet functionality one would expect like multiple tabbed sheets, relative and absolute row and column referencing in formulas, and a large catalog of built-in functions. Functions specific to logic and computer science, mathematics, probability, and statistics are available. -
12
CytoCopteR
A Cytoscape plug-in for training logic models, based on CellNOptR.
Homepage: www.cellnopt.org Based on prior knowledge networks CellNOptR can derive functional information about the network using logic modeling. CytoCopteR is a friendly way to use CellNOptR taking advantage of the network visualization and analysis of Cytoscape and without requiring knowledge on R. -
13
An educational tool for designing and simulating digital logic circuits, featuring a simple-to-learn interface, hierarchical circuits, wire bundles, and a large component library. As a Java application, it can run on many platforms.
-
14
PHP Business Rules is an open source application layer for PHP. The logic is defined in rules and facts. Like most Business Rule Engines (BRE) it uses the Rete algorithm.
-
15
Fuzzy logic add-in for OpenOffice.org Calc. InrecoLAN FuzzyMath allows to perform ordinary arithmetic operations and use ordinary mathematical and financial functions with fuzzy numbers. Have any ideas how to improve this project - you are welcome!
-
16
This Java project intends to implement a set of functions allowing a user to manipulate classical propositional logic statements and reason about their properties and connections.
-
17
The Citizen Privacy Service is an asynchronous component using artificial intelligence capabilities including DL decidability and first order logic provenance that provide policy decision and policy enforcement points based on the US Privacy Act of 1974.
-
18
Cellogica is a cellular logic analysis tool. It incorporates sequential logic and finite state machine to elucidate the relationship between transcription factors and corresponding gene expression.
-
19
The Unit Command Climate Assessment and Survey System (UCCASS) is a PHP survey script for creating dynamic surveys. Supports unlimited questions and answers, branching logic, bar graph results with filtering, CSV export, templates, time limits and more..
- Previous
- You're on page 1
- Next
