Projects tagged ‘logic’

Fluent Validation for .NET

No analysis available

A small validation library for .NET that uses a fluent interface and lambda expressions for building validation rules for your business objects.

0 lines of code

31 current contributors

0 since last commit

1 users on Open Hub

Activity Not Available

0 Reviews

I Use This

Mostly written in language not available

Licenses: apache_2

OpenMSR is a tool collection for instrumentation, control and automation. There are tools like PLC, datalogger, oscilloscope, Object recognition, digital circuit simulation. by using the DeviceServer of OpenMSR all tools can work together and can be combined to do your ICA Job. All tools ... [More]

240K lines of code

2 current contributors

about 4 years since last commit

1 users on Open Hub

Inactive

0 Reviews

I Use This

Mostly written in Pascal

Licenses: gpl

Tags arm automation ica linux logic plc simulation sps windows

C++ Mathematical Expression Library

C

Analyzed about 16 hours ago

The C++ Mathematical Expression Library (ExprTk) is a simple to use, easy to integrate and extremely efficient and fast mathematical expression parsing and evaluation engine. The parsing engine supports various kinds of functional, logic processing semantics and is very easily extendible. ... [More]

42.9K lines of code

2 current contributors

over 1 year since last commit

1 users on Open Hub

Very Low Activity

0 Reviews

I Use This

Mostly written in C++

Licenses: common_pu...

Tags abs acos and arash asin atan atan2 avg boolean c++ ceil clamp 49 more...

Skeptik

Analyzed about 13 hours ago

Proof theory and automated deduction framework focused on proof compression techniques and implemented in Scala.

15.2K lines of code

0 current contributors

almost 8 years since last commit

1 users on Open Hub

Inactive

0 Reviews

I Use This

Mostly written in Scala

Licenses: Creative_...

Tags logic proof_assistant proof_checker proofs proof_theory prooftheory proving scala theoremprover

xFunc

Analyzed about 24 hours ago

xFunc provides a powerful parser and analyzer for mathematical expressions. It excels at calculating derivatives, simplifying expressions, and achieving high performance.

46.3K lines of code

2 current contributors

3 days since last commit

1 users on Open Hub

Moderate Activity

0 Reviews

I Use This

Mostly written in C#

Licenses: lgpl

Tags c# converter differentiation expression graph lexer logic logical math mathematics maths mvp 8 more...

logilic

L

Analyzed about 21 hours ago

Tools to reason about software licenses

196 lines of code

0 current contributors

over 11 years since last commit

1 users on Open Hub

Inactive

0 Reviews

I Use This

Mostly written in Perl

Licenses: gpl

Tags legal license logic prolog

CVC4

Analyzed about 11 hours ago

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination.

387K lines of code

16 current contributors

1 day since last commit

1 users on Open Hub

High Activity

0 Reviews

I Use This

Mostly written in C++

Licenses: BSD-3-Clause

Tags arithmetics automated bitvector constraint firstorderlogic formula logic prover smt theoremproving theory tool

jfuzzylite

Analyzed about 18 hours ago

jfuzzylite is a cross-platform, free and open-source fuzzy logic control library programmed entirely in Java. Its goal is to allow you to easily create fuzzy logic controllers in a few steps utilizing object-oriented programming without requiring any third-party libraries. jfuzzylite is the ... [More]

57.6K lines of code

1 current contributors

almost 3 years since last commit

1 users on Open Hub

Inactive

0 Reviews

I Use This