Search Results for "logic"

Aguacate is a framework with focus on implement business logic functionality, using configuration files (json) instead of programming. See the wiki and the videos See https://github.com/mcnew/aguacate-swagger-demo for a functional demo using docker-compose Videos in Spanish: https://www.youtube.com/playlist?list=PLSHQIkodyHroW2XF7BWCrymDv_Nlj7HRS

DLD V 2.0 Released Digital Logic Design is a Software tool for designing and simulating digital circuits. It provides digital parts ranging from simple gates to Arithmetic Logic Unit. You may start your circuit from simple gates and flipflops and keep on converting them into ICs. These ICs, later on, may be incorporated into other circuits to built more complex circuits like CPU.

UMHDL is an educational Integrated Development Environment (IDE) intended for learning digital designing with programmable logic devices using Hardware Description Languages (HDL) through simulation. It is an open-source application created at the Miguel Hernández University (UMH). The aim for the UMHDL development was to have a graphical application that allows learning the VHDL language without licensing restrictions (using some existing open-source tools) and requiring few resources. ...

mXparser is highly flexible parser of math expressions. Software provides easy to use API for JAVA, Android, C# .NET/MONO (CLS). Main functionalities: - basic operators, i.e.: +, -, *, ^, ! - Boolean logic operators i.e.: or, and, xor - binary relations i.e.: =, <, > - math functions (large library of 1-arg, 2-arg, 3-arg - - functions) i.e.: sin, cos, Stirling numbers, log, inverse functions - constants (large library), i.e.: pi, e, golden ratio - n-args functions i.e.: greatest common divisor - iterated summation and product operators - differentiation and integration High flexibility: - user defined constants and arguments, both free - and dependent on other arguments + possibility of use in functions - user defined functions (both free and depended) - user defined recursive arguments + simple (controlled) recursion (1 recursive argument) - user defined recursive functions / expressions (any) - complex, many arguments, no limitation - internal syntax checkin

...Each animation corresponds to a specific problem and illustrates how data structures and algorithms operate dynamically, making it easier to grasp their underlying logic. The project also includes a curated set of 40 problems from the “Sword Pointing to Offer” series—commonly asked in technical interviews—accompanied by detailed analyses and visual breakdowns. These materials are designed for both beginners starting their algorithm journey and experienced developers seeking to reinforce their understanding. ...

...Tetrahedrons with back facing triangles are added and those with forward facing triangles are subtracted yielding the object volume. A detailed description of the process is presented in the ObjectVolumeTutorial.doc document as well as program logic and results. A key component in the program is a subroutine that calculates the volume of a tetrahedron. Four sets of equations were tested and to my surprise all four produced similar results in accuracy and timing.

Syllog is a system for teaching various forms of logic, including syllogistic logic. It consists of a student-facing Java Applet that runs in the student's browser, and a teacher-facing, server-based logging facility for recording the answers given by students. The student-facing part simply poses questions, to which the student must provide an answer. The teacher-oriented logging facility then logs the answers anonymously for further investigation by the teacher.

... - This software requires Java 8 or above to work. Tested with OpenJDK & Oracle Java. For more information check out the project's source code at https://github.com/Crusader99/digital-logic-simulator

...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. Student's can easily create, customize, and update plots and graphical summaries of their analyses. Myrtle offers a unique bookmarking facility which allows students to create and reuse named references to their favorite cell ranges. This can help students focus attention on the important relationships among particular rows or columns of data. ...

A group of generic tools and containers for using in logical and mathematical terms. Lisp like type-safe n-Trees.

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.

This project is a thesis (diploma) from the University of Applied Science Aalen. It contains a logic simulator for digital technique.

Algomusic is a Java tool made for introducing algorithmic music. Originally a college project it's still quite immature and needs help going forward. Plans include a GUI and fully developed toolkit/API for possible educational use. (Ver: Alpha 0.1)

JMS/Joram implementation of the Bully election algorithm. It is a library to be used by a process' implementation to make it transparently manage coordinator's elections, while it carries out business logic. A sample application is included.

Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles. But on a deeper level it is a GUI for natural deduction. Every completed domino is equivalent to a proof of a tautology in classical propositional logic.

Hipo is a hypothetical computer to facilitate the learning of machine language. The student can use hipo to develop simple programs and understand the internal logic of a computer. There is a plan to implement Donald Knuth's MMIX machine language, also.

A logic based educational game.

A tool based on the model proposed by Bellman & Zadeh (1970) fuzzy logic (fuzzy sets) decision support paper. The first version of the application was developed in Java (pure java + jgoodies and some other APIs). Now it is being rewritten using nebular, a pure Java fuzzy API.

Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, with interactive representation of generated models. Molle is maintained by Politecnico di Milano.

LCalc is a calculator for logic expressions. It support all standard logic operators (and,or,not,xor,...) and any user-defined operators . Features include generation of value table from formula and vice-versa.

This is a prolog-like programming language based on the fuzzy logic. It includes the class-libraries for fuzzy logic, probability theory and method of resolution, all made in C++. Java releases possible in the future.

Guided Logic Exercises is a tool that can be used for simplifying logical expressions. It is a java applet that makes use of underlying packages designed for the applet.

A program suite for educational logic tools. Right now the only working program in the suite is Tautologica Model Editor.

Applications that use and display SignWriting symbols. Applications are based on a library of common operations instead of recreating the same logic for each app. The library is built on the portable wxWindows cross-platform application framework.

A java based digital logic simulator, designed to be used as an educational tool. uses a GUI to allow users to quickly and easily create and visualise circuits from simple components. User can create custom components