AnaLog - Analyse Logique

  •        55

Software for logical equations analyse.

http://analog.codeplex.com/

Tags
Implementation
License
Platform

   




Related Projects

Toss


Toss is a program which allows to explore the use of logic and terms in various models. On the static side, you can draw graphs and check their properties, axioms and reductions. Then, on the dynamic side, you can model multi-player games with both discrete and continuous dynamics. You can play the games, generate strategies automatically and analyse possible behaviours with respect to various logic formulas.

plc-emu


PLC-EMU is a Programmable Logic Controller EMUlator for automation applications on linux with digital/analog IO cards, with C functions, Ladder Diagrams,or IEC61131-compliant Instruction List/Structured Text. It is a cheap and open alternative to PLCs.

RazorScaffold


Umbraco package which provides an analog of XSLT apply-templates in Razor by dynamic binding in a developer conscious manner. It aims to provide a better way of structuring presentation logic on your Umbraco projects.

ConnectMe


An extensible program that is a simple, compact, and consistent front-end to an endless number of possible plugins to solve any problem that requires a user to connect up mutliple objects (Digital Logic, Electrical Grids, Analog circuits, etc)

jracabado-RazorScaffold


Umbraco package which provides an analog of XSLT apply-templates in Razor by dynamic binding in a developer conscious manner. It aims to provide a better way of structuring presentation logic on your Umbraco projects.



Analog Insydes Add-Ons


Analog Insydes is a Mathematica toolbox for symbolic analysis of analog electronic circuits. This project provides a set of free add-ons to Analog Insydes, including a Java front-end and a native netlister for Cadence's Analog Design Environment (ADE).

research - CP vs IP runtimes when using Google-CP Solver on a time scheduling problem


CP vs IP runtimes when using Google-CP Solver on a time scheduling problem

clar - What tests are made of.


Clar is a minimal C unit testing framework. It's been written to replace theold framework in [libgit2][libgit2], but it's both very versatile andstraightforward to use.Can you count to funk?- **Zero: Initialize test directory** ~~~~ sh $ mkdir tests $ cp -r $CLAR_ROOT/clar* tests $ cp $CLAR_ROOT/test/clar_test.h tests $ cp $CLAR_ROOT/test/main.c.sample tests/main.c ~~~~- **One: Write some tests** File: tests/adding.c: ~~~~ c /* adding.c for the "Adding" suite */

cp - ca for cp site


ca for cp site

cp - cp


cp

CP-M-for-OS-X


A z80 emulator + CP/M-80 reimplementation that intends to allow original CP/M software to be used under OS X.

cp - Coding Practice (CP)


Coding Practice (CP)