| Projects on Google Code | Results 1 - 10 of 97 |
Logic analyzer with build in protocol analyzer. To acquire the signals you have to build you own ATmega microcontroller based hardware. Schema is [http://protocolviewer.googlecode.com/files/newsla.pdf here].
http://protocolviewer.googlecode.com/files/pla2.png
Note: This project is started off...
= Implementing a Dependently-Typed Lambda Calculus =
Welcome to our COMP 527 project webpage on _implementing a dependently-typed lambda calculus_.
In this project we will try to learn about simply-typed and dependently-typed lambda calculus, experiment with different implementations, and make...
=FOLIE=
==Features==
FOLIE which means "folly" in French stands for First-Order Logic Integrating Environment. It consists of a program that recognizes a theory written in a language of first order logic with polymorphic types and checks if sorts, terms, formulas and proofs are correctly defin...
=[http://www.timtomtam.de/rockonfuzzy/ RockOn Fuzzy Tool]=
!RockOn Fuzzy is an open source fuzzy control and simulation tool in Java. This project is a result of a fuzzy logic course at the University of Kassel, Germany. During our investigation on fuzzy logic we recognized that there is a very rar...
<table><tr valign="middle" align="center"><td><font color="blue"><b>Can't code<br/>without</b></font></td><td><a href="http://www.jetbrains.com/idea/"><img src="http://www.jetbrains.com/idea/opensource/img/all/banners/idea125x37_white.gif" alt="Intellij IDEA - the best Java IDE" border="0"/></a></td...
This scala project is a general framework for applied proof theory.
* 24/11/2009 - Milestone 1 was reached:
# Language support for Typed Lambda Calculus, Higher and First order logics.
# Language Algorithms - Beta reduction, substitution and replacement.
# Sequent Calculus.
...
scala,
prooftheory,
theoremprover,
logic,
cutelimination,
sequentcalculus,
firstorderlogic,
higherorderlogic,
typetheory,
clausalcalculus,
mathematics
FuXi has been moved to a new Google Code _[http://code.google.com/p/fuxi project]_:
_[http://code.google.com/p/fuxi/source/browse/ hg source]_
python-dlp will mainly consist of applications built on top of FuXi. Some ideas include:
* [http://code.google.com/p/python-dlp/wiki/Agentem Agen...
This suite of tools consists of:
* hylores : a resolution-based theorem prover for the hybrid logic H(@,A,D,◇¯,↓)
* htab : a tableaux-based theorem prover for the hybrid logic H(@,A,D,◇¯,↓) with role inclusion
* hylolib : the common library used by the other provers
* gridtest : a framewor...
TheoremProving,
logic,
ModalLogic,
proof,
haskell,
HybridLogic,
resolution,
tableaux,
tableau,
descriptionlogic
bulman is designed as a free and open-source C++ fuzzy logic library and intended to be used as part of Computational Intelligence applications. An example application which demonstrates usage is provided with source code distribution.
== Features ==
* Common membership functions such as Triang...
A resolution based theorem prover for first-order logic with equality.
TPTP format is used for both problem input and proof output. Problems can be in clause (CNF) or general first-order (FOF) form.
Inference rules used are binary resolution, factoring and paramodulation. Performance is as yet...