Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

Spot

Compare

Claimed by EPITA Research and Developm... Analyzed about 15 hours ago

Spot is a C++14 library for manipulating omega-automata and LTL/PSL formulas. It offers a set of bricks to experiment with and develop your own model checker, or do other formulas/automata transformations. It comes with a dozen command-line utilities, and Python bindings.

174K lines of code

3 current contributors

2 days since last commit

3 users on Open Hub

Moderate Activity
5.0
 
I Use This

spinforth

Compare

  No analysis available

2008-Jan-24 Version 1.1 - fixed one outstanding bug "if else else then" bug, and changed console handling so you can write an IO device on a cog and use it as the console. One minor change to avariable to support smoother assembler operation which will be documented in the next 60 - 90 days. ... [More] 2007-Dec-19 Here it is, rev 1.0 and for lack of any plan, It is under GPL. If anyone wants something else, let's talk offline. All this has only been tested with the propeller protoboard, and teraterm pro v4.51 http://sourceforge.jp/projects/ttssh2/ as a terminal program. I run teraterm at 115.2 kb with 8 bits, no parity, 1 stop bit, no flow control, 1ms delay per line. Tested with prop clip, and RS232 port on Toshiba laptop. This project is archived, new work is at http://code.google.com/p/propforth/ [Less]

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: gpl3_or_l...

motorolac168ispinobject

Compare

  No analysis available

A Spin object to interface a Parallax Propeller chip with a Motorola c168i cell phone. Ultamate goal is to be able to send text messages and receive commands via text message.

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: mit

ybox

Compare

  No analysis available

see http://ybox.tv

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: gpl

4312misc

Compare

  No analysis available

my exercises for 4312

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: gpl3_or_l...

spin-scrubber

Compare

  No analysis available

ScrubberThis scrubber utility removes confidential identifiers from structured XML or plain text by comparing the input text phrases to a list of known identifiers (names, states, etc) and a series of Regular Expressions. While typically used to prepare confidential reports to be compliant with ... [More] HIPAA standards, this utility is practical for any organization looking to protect privacy of their records – regardless if they are being used for medical purposes or not. Latest Release:Find the latest release and documentation under Featured Downloads and Featured Wiki Pages on the right. Defect Tracking System:Please user our JIRA instance to view and submit defects: http://jira.openaegis.org/browse/SCRUBBER Subversion Repository:Command-Line Access Use this command to anonymously check out the latest project source code: svn checkout http://scm.chip.org/svn/repos/spin/scrubber/trunk/ scrubber-read-only Please contact the Developers list for check-in privileges: spin-scrubber-dev Use FishEye to explore the repository: http://fisheye.openaegis.org/browse/Scrubber Continuous Integration:http://bamboo.openaegis.org/browse/SCRUBBER-DEF [Less]

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: lgpl

simulpin

Compare

  No analysis available

The increase of available Protein-Protein Interaction (PPI) data enables us to develop computational methods for protein complex prediction. A protein complex is a group of two or more proteins formed by stable interaction over time. In general, it corresponds to a cluster in a PPI Network (PPIN). ... [More] However, clusters correspond to not only stable protein complexes, but also to sets of proteins with transient interactions. As a result, conventional graphtheoretic clustering methods that usually treat stable and transient interactions in the same manner show high false-positive rates in protein complex prediction. We propose an approach for refining a PPIN using structural interface data of protein pairs for protein complex prediction. The construction of the Simultaneous Protein Interaction Network (SPIN)is an essential step in our approach, which excludes competition between mutually exclusive interactions formed by an overlapping interface. We then use naive clustering algorithms on SPIN for the prediction of protein complexes. When we compared the prediction results of our method with a simple PPIN-based method, it turned out that the SPIN-based approach outperforms the simple PPINbased method in the sense that it predicts all of the complexes the conventional method generates, and even more true-positive ones. [Less]

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: lgpl

rtl2ba

Compare

  No analysis available

The rtl2ba tool translates formulas of the linear-time temporal logic RTL into Büchi automata. The prominent linear-time logic LTL and the linear-time cores of the IEEE standardized logics SVA, and PSL are fragments of RTL. The output of rtl2ba can be used in the symblic model checker NuSMV. For ... [More] further information see the README.TXT file in the package. [Less]

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: bsd

Pungi

Compare

  Analyzed about 2 months ago

Fedora iso and install tree spin tool, as well as Python libraries for various meta-packaging tasks.

38.4K lines of code

15 current contributors

5 months since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

spin-checker

Compare

  Analyzed 21 days ago

SPIN is a model checker for verifying the correctness of concurrent software models. Systems to be verified are described in Promela (Process Meta Language), which supports modeling of asynchronous distributed algorithms as non-deterministic automata (SPIN stands for "Simple Promela Interpreter").

46.4K lines of code

4 current contributors

4 months since last commit

0 users on Open Hub

New Project
0.0
 
I Use This