Free Downloads: Formal Logic Projects
License: All | Free
Logic Express 2010 makes it easier than ever to translate musical inspiration into professional productions-perfect for those looking to add to bMix or Babya Logic Basics Projects .
Logic Express comes with range of easy-to-use features that puts sophisticated tools at your fingertips, that lets you make incredible, immersive music that will impress...
Category: Audio / Music Creation
Publisher: Babya, License: Freeware, Price: USD $0.00, File Size: 2.2 MB
Platform: Windows
Coq is a formal proof management system.
Coq is a Formal proof management system. It provides a Formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Typical applications include the formalization of programming languages semantics, the formalization of mathematics and teaching.
Category: Business & Finance / Business Finance
Publisher: Coq Development Team, License: Freeware, Price: USD $0.00, File Size: 53.8 MB
Platform: Windows
A semi-automated method of performing comparisons of Machine Edition logic.
A semi-automated method of performing comparisons of Machine Edition Logic.
Operational notes:
- The Projects to be compared need to be validated (built) before they will appear in the Projects list.
- Follow the steps indicated by the program.
Category: Business & Finance / Business Finance
Publisher: Steve Towner, License: Freeware, Price: USD $0.00, File Size: 1.0 MB
Platform: Windows
Logic Sticks Team. Traditionally Logic is closely linked to linguistic practice and particularly to language. Categorical Logic sticks to the traditional link with linguistic. 3d Logic - An incredibly difficult puzzle game. The game saves the point you got to last time you played. Can you get past level 16? Test your knowledge with this great 3D Logic cube!...
Category: Games / Misc. Games
Publisher: SM games, License: Freeware, Price: USD $0.00, File Size: 25.0 KB
Platform: Windows, Mac
MultiMedia Logic is a MultiMedia Logic Design System.
MultiMedia Logic is a MultiMedia Logic Design System. It allows the user to design, edit, and simulate digital Logic circuits in virtual reality. Using the realtime simulation, it is easy to debug complex circuits without having to pickup a soldering iron or deal with a tangle of wires. Avoid zapping expensive integrated circuits.
Main Features:
Intuitive to...
Category: Multimedia & Design / Digital Media Editors
Publisher: Softronics Inc., License: Freeware, Price: USD $0.00, File Size: 1.4 MB
Platform: Windows
Mulimedia Logic is a logic emulator of the finest caliber.
Mulimedia Logic is a Logic emulator of the finest caliber. It will allow the user to explore the inner workings of computers and digital Logic without having to worry about shorting out power supplies, tangling hookup wires, troubleshooting loose connections, accumulating parts, or any of the other drawbacks associated with breadboarding electronic circuits.
...
Category: Multimedia & Design / Image Editing
Publisher: Softronics Inc., License: Freeware, Price: USD $0.00, File Size: 1.4 MB
Platform: Windows
Qunetix SD is a software deployment platform for heterogeneous networks, allowing you to install or update software on your network systems without Formal training. Using an automated and managed process, Qunetix SD manages the packaging, testing and depl
Category: Utilities / Network
Publisher: emperex.com, License: Freeware, Price: USD $0.00, File Size: 210.0 MB
Platform: Windows, Linux, Unix
Showcasing a variety of work attire specifically for a wide range of industries, this screensaver features the Formal and stylish designs of S and H Work Uniforms. Believing in presenting a look of professionalism, S and H Work Uniforms are not only attractive and contemporary, but they are also are comfortable and durable.
Category: Desktop Enhancements / Screensavers
Publisher: S and H Work Uniforms, License: Freeware, Price: USD $0.00, File Size: 1.0 MB
Platform: Windows
GWInstek Logic Analyzer is a configuration tool for GLA devices.
GWInstek Logic Analyzer is a configuration tool for GLA devices.
The GLA-1000 Series is a palm-sized PC based Logic analyzer with functionality matching that of a desktop device. A maximum 32 channels, 32Mbits of data memory (GLA-1032), a 200MHz internal sampling rate and advanced trigger settings provide high accuracy and lengthy data analysis results.
Category: Software Development / Misc. Programming
Publisher: GWInstek, License: Freeware, Price: USD $0.00, File Size: 45.3 MB
Platform: Windows
Seesaw Logic is an enjoyable Logic game in which you must decide which is the heaviest object by looking at some seesaws with objects on them. The game is comprised of 20 levels of increasing difficulty, in which there will be more seesaws with more objects. The game is timed, so the faster you complete the game, the more points you will get. Moreover, every time your answer is...
Category: Games / Misc. Games
Publisher: Novel Games Limited, License: Freeware, Price: USD $0.00, File Size: 261.1 KB
Platform: Windows
Computing - Data Structures - Data Files - Computer Systems - Data Handling - System Development - Computer Programming - Binary Numbers - Binary Arithmetic - Number Systems - Digital Techniques - Logic Gates - Logic Gates 2 - Logic Families - Flip Flops - Combinational Logic - Counters - Counting - Shift Registers - Logic Interfacing - Boolean and DeMorgan's...
Category: Home & Education
Publisher: eptsoft, License: Freeware, Price: USD $0.00, File Size: 5.5 MB
Platform: Windows
CluGrid: Freeware Logic Puzzle Game.
CluGrid: Freeware Logic Puzzle Game. Train your brain with a new deductive game of skill, patience and Logic. 999,999 puzzles, 5 levels of difficulty. Full version, unrestricted. Download right now and play for free.
Category: Games / Puzzles
Publisher: Altura, License: Freeware, Price: USD $0.00, File Size: 1.5 MB
Platform: Windows,
Deductoid Freeware Logic Puzzle Game.
Deductoid Freeware Logic Puzzle Game. Train your brain with a new deductive game of skill, patience and Logic. Download right now and play for free.
Category: Games / Puzzles
Publisher: Altura, License: Freeware, Price: USD $0.00, File Size: 1.5 MB
Platform: Windows,
The ACARS Dispatch Client is the Dispatch end of a complete system that can be used for both Formal and free-format message and file exchange between simulated airplanes and ground stations. It is easy to install and easy to manipulate. It is really a very helpful tool.
Category: Utilities / Misc. Utilities
Publisher: Jeroen Hoppenbrouwers, License: Freeware, Price: USD $0.00, File Size: 1.6 MB
Platform: Windows
Logic test. It is difficult enough. A test group of 2000 members gave on average 3.04 right answers (from 10 available). This test doesn measure intelligence quotient itself, as this quotient still is not uniformly defined. It shows you difficult Logic problems instead and counts the number of your right answers, so after taking the test you can compare your results with the...
Category: Home & Education / Teaching Tools
Publisher: IQ test forum, License: Freeware, Price: USD $0.00, File Size: 160.0 KB
Platform: Windows
Freeware arcade puzzle logic game by Cooking-Free-Games.
Freeware arcade puzzle Logic game by Cooking-Free-Games.com Use all your skill and Logic while playing this addictive nice game. Help the hedgehog to move the fruit into the special cells. The game has 20 levels and next level is harder than the previous one. Score points and publish online.
Category: Games / Puzzles
Publisher: Cooking-Free-Games.com, License: Freeware, Price: USD $0.00, File Size: 4.2 MB
Platform: Windows
Logic Builder for Windows Mobile SDK.
Logic Builder for Windows Mobile SDK. State-engine. State-oriented C# programming for Windows Mobile 5 and 6.
Includes GetStarted user manual and full-function examples for WM5\WM6 - PocketPC\Smartphone.
Category: Software Development / Components & Libraries
Publisher: Timur Software, License: Freeware, Price: USD $0.00, File Size: 2.8 MB
Platform: Windows
ToneTester is a Macintosh application that tests hearing. Specifically, it looks for offsets in how each of a person's ears hears pitch (the Formal term for this is "binaural diplacusis" or "interaural pitch difference"). To use it, you adjust a slider until your ears hear the same pitch, and then ToneTester tells you the actual pitch difference.
Category: Audio
Publisher: Suitable Systems, License: Freeware, Price: USD $0.00, File Size: 188.7 KB
Platform: Mac
The Speak Logic Information Analysis for Internet Explorer enables users to analyze information and communications in Internet Explorer. While reading a website or webpage, if a user identifies information that?s needed to be analyzed, the user can analyze that information or flag it to analyze it later.
The Speak Logic Information Analysis for Internet Explorer enables...
Category: Internet / Communications
Publisher: The Speak Logic Project, License: Freeware, Price: USD $0.00, File Size: 29.9 MB
Platform: Windows
The Speak Logic Information Analysis Desktop enables users to analyze manage information in their own desktops. For instance, while reading a webpage, a user may flag specific information, and then later that same information can be identified in the desktop, where it can then be analyzed.
The Speak Logic Information Analysis desktop also works together with the SLPSoft...
Category: Business & Finance / Project Management
Publisher: The Speak Logic Project, License: Freeware, Price: USD $0.00, File Size: 30.5 MB
Platform: Windows
The Ant8 logic analyzer is a compact, easy to use, powerful, and inexpensive software.
The Ant8 Logic analyzer is a compact, easy to use, powerful, and inexpensive software.
Features:
- Familiar Windows interface
- Data saved as plain text or in CSV format
- Step-by-step instrument setup and trigger setup.
- Upgradeable via the internet
Category: Software Development / Misc. Programming
Publisher: RockyLogic, License: Freeware, Price: USD $0.00, File Size: 607.1 KB
Platform: Windows
Take a break and entertain you mind with a dynamic dance of logic in Logc trainer!
Take a break and entertain you mind with a dynamic dance of Logic in Logc trainer! Your objective is to guess the combination of six colors in four positions which are hidden from you. Find that combination within 6 attempts or faster.
Category: Games / Puzzles
Publisher: Agentix Software, License: Freeware, Price: USD $0.00, File Size: 188.0 KB
Platform: Windows
Logisim is an educational tool for designing and simulating digital logic circuits.
Logisim is an educational tool for designing and simulating digital Logic circuits. With its simple toolbar interface and simulation of circuits as you build them, it is simple enough to facilitate learning the most basic concepts related to Logic circuit
Category: Home & Education / Mathematics
Publisher: ozark.hendrix.edu, License: Freeware, Price: USD $0.00, File Size: 6.1 MB
Platform: Windows, Mac, 2K, 2K3, Vista
The Speak Logic Information Analysis for Visual Studio enables users to analyze information in Visual Studio. The Speak Logic Information Analysis for Visual Studio enables users to analyze codes in Visual Studio. While working in Visual Studio, if a user identifies a block of codes that?s needed to be analyzed, by using The Speak Logic Information Analysis for Visual...
Category: Software Development / Misc. Programming
Publisher: The Speak Logic Project, License: Freeware, Price: USD $0.00, File Size: 28.8 MB
Platform: Windows
SyPTLite is a great and easy-to-use ladder Logic program editor suitable for simple drive applications for replacing relay Logic or a micro PLC.
The program can be used with Commander SK and Unidrive SP onboard PLC or with SM-Applications Lite option module.
Category: Utilities / Misc. Utilities
Publisher: Control Techniques Ltd., License: Freeware, Price: USD $0.00, File Size: 11.3 MB
Platform: Windows
Freeware
UFO Sokoban 3D is a 3-dimensional version of the classic Logic game. The goal of the game is to push all the boxes into the specified positions. Over 52 levels available. Enjoy 3D graphic effects and wonderful music. Unleash the power of your video accelerator and bring the stunning graphics to your computer. This game is one of the best Logic strategy games. Good fun for all the...
Category: Games / Puzzles
Publisher: Teddy Games, License: Freeware, Price: USD $0.00, File Size: 1.4 MB
Platform: Windows
A game of skill and Logic. The objective is to connect the numbered dots in order, i.e., you start from the dot number 1, from there you have to draw the line to number 2, then number 3, etc.
Category: Games / Puzzles
Publisher: kartofel.jfedor.org, License: Freeware, Price: USD $0.00, File Size: 13.4 MB
Platform: Windows
Babya Logic is an innovative and powerful suite of pro-quality audio production software, which includes Babya Logic, an 8-track MIDI sequencer that enables users to create and score their own music using a variety of pro-quality applications.
Also includes Babya Jam Pack: studio tools, Babya MicroKit, and UltraSynth.
Category: Audio / Music Creation
Publisher: Babya Software Group, License: Freeware, Price: USD $0.00, File Size: 360.5 KB
Platform: Windows
xTuple ERP is a free open source ERP, accounting, CRM package for small to midsized businesses.
xTuple ERP is a free open source ERP, accounting, CRM package for small to midsized businesses. Runs on Linux, Mac, and Windows (built with open source Qt framework). Business Logic resides in PostgreSQL database. Rich API for connecting to third-party apps.
Features
- Full accounting (general ledger, accounts payable and receivable, bank reconciliation)
...
Category: Business & Finance / Business Finance
Publisher: xTuple, License: Freeware, Price: USD $0.00, File Size: 101.1 MB
Platform: Windows
Fisher Logic Optimizer helps make complex trade-offs that all paper companies and their suppliers face. The system delivers insights into optimizing corrugated box supply chains, company-wide capex spending, pricing decisions, and production planning where planners have to consider trade-offs between machine capacity, cost, capabilities, logistics, and profitability.
Category: Business & Finance / Business Finance
Publisher: Fisher International, Inc. and River Logic, Inc., License: Freeware, Price: USD $0.00, File Size: 13.6 MB
Platform: Windows
Copy Your VB Project to a New Location.
Copy Your VB Project to a New Location. All project files and related docuements are copied to the new directory. Use to create new Projects based on old Projects, back up your Projects, get only the files actually used in your project.
Category: Software Development / Tools & Editors
Publisher: GridLinx Software, License: Freeware, Price: USD $0.00, File Size: 0
Platform: Windows
Freeware
AbcPuzzles offers two variations on a tile-based puzzle game. Each uses the same basic engine, in which you move the tiles in groups of four or more by spinning them with the control located in the corner where four tiles touch. Much like Rubik's Cube in two dimensions, the games are harder than they first look since you must get the tiles properly aligned without disrupting your previous work....
Category: Games / Puzzles
Publisher: Getfreefile, License: Freeware, Price: USD $0.00, File Size: 708.2 KB
Platform: Windows
Very hard Logic game. Break the crystal tower code. Detailed game docs built in the game.
Category: Games / Puzzles
Publisher: godula.com, License: Freeware, Price: USD $0.00, File Size: 4.9 MB
Platform: Windows, 2K, 2K3
The tool for individual and group conducting Projects on creation, introduction and support of software. Free from use of the 3d-party applications and services. You do not need to establish and adjust any paid or free-of-charge the databases. The program is developed by us as the base tool of groups of software developers and used by many IT-Companies. Projects Explorer is used...
Category: Business & Finance / Project Management
Publisher: ORRI Group Software, License: Freeware, Price: USD $0.00, File Size: 2.2 MB
Platform: Windows
This program quickly and conveniently will allow You to work with a collection of Your VB projects.
This program quickly and conveniently will allow You to work with a collection of Your VB Projects. With the help of the given program you easily can organize access to most frequently Projects used by You. And also, it is possible quickly to see properties of any project not opening it in the development environment.
Category: Software Development / Tools & Editors
Publisher: VisualSoft, License: Freeware, Price: USD $0.00, File Size: 593.9 KB
Platform: Windows
Baralga keeps track of the time you spent working on different projects.
Baralga keeps track of the time you spent working on different Projects. You can record the Projects your are working or you can manually enter and edit activities. This way you can easily memorize when and how long you have been working on each single pr
Category: Business & Finance / Project Management
Publisher: baralga.origo.ethz.ch, License: Freeware, Price: USD $0.00, File Size: 9.2 MB
Platform: Windows, Vista
Anry Domino Patience is a free game of Logic using dominos. Each game has at least one solution, the game field has a few nice looks, your game time is not limited, no setup required (just download & play). This game looks so easy but is really quite hard. The concept of game is simple, just select adjoining cells (horizontally or vertically) and the appropriate pair will be displayed in...
Category: Games
Publisher: Anry, License: Freeware, Price: USD $0.00, File Size: 246.0 KB
Platform: Windows
Test your reflexes and Logic! Keep up with Grid 16 as it rifles through a broad spectrum of simple games with increasing speed! The game is getting harder and harder as time speeds up. Survive as long as you can in the grid. Use Arrow Keys to perform in all the games.
Category: Games / Misc. Games
Publisher: Armor Games, License: Freeware, Price: USD $0.00, File Size: 2.7 MB
Platform: Windows
The easiest way to share PolyWorks projects with colleagues, customers, and suppliers.
The easiest way to share PolyWorks Projects with colleagues, customers, and suppliers.
PolyWorks/IMView is a free viewer utility that reads existing PolyWorks inspection Projects and allows users to:
- Visualize measurement results in 3D and use the mouse to rotate or translate the 3D scene or zoom on a specific area.
- Navigate easily...
Category: Software Development / Misc. Programming
Publisher: InnovMetric Software Inc., License: Freeware, Price: USD $0.00, File Size: 57.0 MB
Platform: Windows
Tired of constantly re-writing the same CSS code? Frustrated with searching through old Projects to copy and paste code from? CSS Briefcase is a great little program that helps you organize your CSS styles and store them for use in future Projects. Just add CSS style code you tend to use in several Projects, and from there on adding the code into new Projects is as...
Category: Internet
Publisher: Implied By Design LLC., License: Freeware, Price: USD $0.00, File Size: 25.7 KB
Platform: Windows, Linux, Unix
This application also demonstrates how to take a picture of a contact using your webcam and store it in the SQLite database as a blob
In the "SQL in View" approach, you embed SQL statements as needed in View components. In this example the ContactForm component has create, update, and delete methods with the appropriate embedded SQL statements to insert, update, and...
Category: Software Development / Misc. Programming
Publisher: Christophe Coenraets, License: Freeware, Price: USD $0.00, File Size: 3.1 MB
Platform: Windows
KlokworkTeamConsole is a new and useful business software.
KlokworkTeamConsole is a new and useful business software.
To get started, install Klokwork Team Console on the machine that the "administrator" of your Projects will be using. This "administrator" user will be responsible for creating users and Projects as well as assigning Projects to individual users.
Category: Business & Finance / Business Finance
Publisher: Mcgraphix, Inc., License: Freeware, Price: USD $0.00, File Size: 1.9 MB
Platform: Windows
Win-ProLi is a small application for the administration of your (software) projects.
Win-ProLi is a small application for the administration of your (software) Projects. It directs to user, who don?t like to install a complete version management system. With this software you get an overview of all existing and future Projects (versions).
Category: Software Development / Misc. Programming
Publisher: mcrichter.macbay.de, License: Freeware, Price: USD $0.00, File Size: 2.9 MB
Platform: Windows, Mac, 2K, 2K3
Puzzle logic freeware game from Dressup-Games-Free.
Puzzle Logic freeware game from Dressup-Games-Free.com Help the hedgehog carry all his food home. Solve the puzzles and pass all 20 levels.
Category: Games / Puzzles
Publisher: Dressup-Games-Free.com, License: Freeware, Price: USD $0.00, File Size: 4.2 MB
Platform: Windows
Partition Logic is a free hard disk partitioning and data management tool.
Partition Logic is a free hard disk partitioning and data management tool. It can create, delete, format, and move partitions and modify their attributes. It can copy entire hard disks from one to another. With Partition Logic you can make partitions on your hard disk. Partition Logic is free software, available under the terms of the GNU General Public License. It is based...
Category: Utilities / File & Disk Management
Publisher: J. Andrew McLaughlin, License: Freeware, Price: USD $0.00, File Size: 5.0 MB
Platform: Windows, All
ChemDoku is a logic game with a chemistry theme.
ChemDoku is a Logic game with a chemistry theme. It is similar to the number puzzle called sudoku (or Number Place) except that it uses chemical elements instead of numbers. ChemDoku can help you learn the elements and their location on the periodic table.
Category: Games / Misc. Games
Publisher: ChemProfessor, License: Freeware, Price: USD $0.00, File Size: 4.3 MB
Platform: Windows
CostX Viewer makes it easy to freely share comprehensive costing projects with anyone.
CostX Viewer makes it easy to freely share comprehensive costing Projects with anyone. Take advantage of the all-electronic estimation platform and offer interactive Projects to your clients and co-workers complete with detailed cost breakdowns and building revisions with live links to CAD drawings.
Category: Business & Finance / Business Finance
Publisher: Exactal, License: Freeware, Price: USD $0.00, File Size: 45.4 MB
Platform: Windows
The all NEW Officeworks Photobooks editor is now available.
The all NEW Officeworks Photobooks editor is now available. It provides more products, more design options and bigger products and will make it even easier to create stunning products.
Please note that the new editor is not compatible with your existing Projects. Any new Projects must be started in the new editor. To make the transition easy, the old editor will continue to...
Category: Multimedia & Design / Media Catalogers
Publisher: officeworks superstores, License: Freeware, Price: USD $0.00, File Size: 35.6 MB
Platform: Windows
Cocktail II (by lack of a better name) is a follow up project of Cocktail.
Cocktail II (by lack of a better name) is a follow up project of Cocktail. It is a tool for the Formal static verification of programs. The language that is currently supported is small, but already demonstrates some interesting features, like recursive datatypes.
Category: Software Development / Misc. Programming
Publisher: M.Franssen, License: Freeware, Price: USD $0.00, File Size: 32.4 MB
Platform: Windows
Mallet Mania is a game of logic and skill.
Mallet Mania is a game of Logic and skill. The interface has been designed to resemble the popular Windows game Minesweeper, but the game itself is a brand-new concept.
Category: Games / Puzzles
Publisher: malletmania.com, License: Freeware, Price: USD $0.00, File Size: 429.0 KB
Platform: Windows, Mac, 2K, 2K3
 |