Displaying 1 to 20 from 36 results

Use the type of code you and your team are comfortable and experienced with. Testing your logic is straight forward and simple. redux-logic-test provides additional utilities to make testing a breeze.

redux middleware redux-middleware logic business-logic domain domain-logic epic saga observable side-effect promise async-awaitThe Knowledge Graph

grakn graql knowledge-base knowledge-graph knowledge-representation reasoning relational-databases hyper-relational database graph graph-database graph-visualization logic deductions knowledge-engineering enterprise-knowledge-graph knowledge-engine query-language hyper-relational-database inferenceTypeDB is a strongly-typed database with a rich and logical type system. TypeDB empowers you to tackle complex problems, and TypeQL is its query language. TypeDB allows you to model your domain based on logical and object-oriented principles. Composed of entity, relationship, and attribute types, as well as type hierarchies, roles, and rules, TypeDB allows you to think higher-level as opposed to join-tables, columns, documents, vertices, edges, and properties.

database graph logic inference knowledge-graph graph-theory graph-database graphdb knowledge-base type-system strongly-typed graph-visualisation relational knowledge-representation reasoning enterprise-knowledge-graph hyper-relational java-databaseAroLibraries contains extension methods Advantages of extension methods: (1) Operate on object methods (2) Hiding additional operation (3) Readable code

extension extension-methods logic methodsThis project is a basic simulator for digital logic circuits. It includes a variety of gates (AND, OR, XOR, NAND, NOR, NOT), JK and D type flip-flops, a pulse generator, logic high and low levels, wires, and switches.

digital digitallogicsim logic simulatorA logic programming library for Clojure & ClojureScript. core.logic offers Prolog-like relational programming, constraint logic programming, and nominal logic programming for Clojure. At its heart is an original implementation of miniKanren as described in William Byrd's dissertation Relational Programming in miniKanren: Techniques, Applications, and Implementations as well as the extensions described in cKanren and αKanren. It is designed to be easily extended to forms of logic programming beyond the ones provided.

logic relational-programmingA curated list of open-source Prolog frameworks, libraries and resources.Have a look at the Contributing Guidelines on how to get started.

awesome awesome-list prolog list swi-prolog logic programmingA fast, sandboxed matching engine with serializable rules. Using Hypermatch, you can define streams of traffic, audiences, or just a partition of objects using simple logical rules. A collection of rules like "Browser is Firefox" and "Browser is Chrome or query string matches 'mobile'" form such audiences. Each rule definition is already a fully compatible JSON object, so that the rules are serializable by default.

nodejs logic rule-engine matchingState And Logic Traversal, for today's infinite-application. Salt is a state-based JavaScript library that offers unparalleled code organization and unprecedented flow control. No matter how you write code, the event loop sees it as a sequence of functions, invoked over time. Salt provides a simple pattern to describe those sequences, along with an API to control timing. The result is an async-agnostic flow of your functionality, in code, bridging the gap between specification and implementation.

state logic organization declarative execution frameworkIt determines whether a given statement in Intuitionistic Propositional Calculus (IPC) is provable or not. Please prepare your consumer key, consumer secret, access token, and access token secret.

ocaml logic solver twitterhaskell-picosat are Haskell bindings to the PicoSAT solver, written in C. It reads in clauses in CNF ( Conjunctive-Normal Form ) and returns a solution which satisfies the clauses. The most notable distinction of this binding is that the SAT solver library is included with the cabal package so you shouldn't need to install anything but this package to get going. It's also notably faster than a pure Haskell solution at solving very large constraint problems.

picosat picosat-solver haskell haskell-library sat-solver logic-programming logicPicologic is a lightweight library for working with symbolic logic expressions. It is built against the picosat Haskell library which bundles the SAT solver with the Haskell package so no external solver or dependencies are necessary. Picologic provides the logic expressions, parser and normal form conversion functions to express the logic expressions more naturally and then feed them to the SAT solver.

picosat sat-solver haskell haskell-library logicGraphical logic editor/simulator

logic editor simulationThis is a collection of javascript questions that you can use to improve your javascript skill and logic. To solve a problem, simply open answer directory and find the problem you want to solve. Each questions will be written as comment above the answer placeholder. Write your answer there and verify your answer using test command. Grab a copy of the problem sets and install dependencies. The only dependency to this module is a test framework to verify your answer.

interview-questions nodejs logic questions knowledge test technicalAutomated theorem prover for first-order logic with equality and theories. Logic toolkit (logtk), designed primarily for first-order automated reasoning. It aims at providing basic types and algorithms (terms, unification, orderings, indexing, etc.) that can be factored out of several applications.

prover superposition ocaml experimental logic computer-science-algorithms prototype induction polymorphism rewriting cnf symbolic-computation saturationLimbo is a reasoning system for modelling and querying an agent's knowledge. Limbo features a highly expressive modelling language (with functions, equality, quantification, introspective modal operators), but maintains attractive computational properties. Great expressivity usually brings along great computational complexity. Limbo avoids the computational cliff using the theory of limited belief, which offers a principled way to control the computational effort and preserves decidability and, in the propositional case, even tractability.

logic reasoning knowledge beliefsThis is a tool to visualize your propositions as truth tables. Open Truth Table.

proposition logic truth false table parserThis repository holds the files associated with Warren's crazy small breadboard CPU built with only eleven chips. For more details on the design of the CPU itself, see the Crazy Small CPU website. The Verilog directory holds an implementation of the CPU in Icarus Verilog. A description of the CPU's instruction set can be found in Instructions.md. A description of the cas assembler and the csim simulator can be found in Usage.md.

cpu 7400 logic alu
We have large collection of open source products. Follow the tags from
Tag Cloud >>

Open source products are scattered around the web. Please provide information
about the open source projects you own / you use.
**Add Projects.**