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 21 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.

252K lines of code

3 current contributors

4 days since last commit

4 users on Open Hub

Moderate Activity
5.0
 
I Use This

Vcsn

Compare

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

Vcsn is a platform for weighted automata and rational expressions. It consists of a C++ generic library, a set of bindings for Python, and a graphical interactive environment on top of IPython.

146K lines of code

2 current contributors

about 4 years since last commit

3 users on Open Hub

Inactive
5.0
 
I Use This

libfsm

Compare

  Analyzed about 9 hours ago

NFA, DFA, regular expressions and a lexer generator.

84.5K lines of code

7 current contributors

3 months since last commit

1 users on Open Hub

Moderate Activity
5.0
 
I Use This

DFA Interpreter

Compare

  Analyzed about 6 hours ago

This is an python3 script that reads a deterministic finite automata (DFA) definition from a .txt file and uses it to processes words

122 lines of code

0 current contributors

over 5 years since last commit

0 users on Open Hub

Inactive
0.0
 
I Use This
Licenses: No declared licenses

Finito State Machines

Compare

  Analyzed about 5 hours ago

Introspectable, language agnostic, finite state machines

967 lines of code

0 current contributors

over 6 years since last commit

0 users on Open Hub

Inactive
0.0
 
I Use This

excusa

Compare

  Analyzed 1 day ago

Effective XML Communication Using SOAP and Automata

123K lines of code

0 current contributors

over 12 years since last commit

0 users on Open Hub

Inactive
0.0
 
I Use This

ultimate

Compare

  Analyzed about 23 hours ago

Ultimate is a program analysis framework. Ultimate consists of several plugins that perform steps of a program analysis, e.g., parsing source code, transforming programs from one representation to another, or analyzing programs. Toolchains of these plugins can perform complex tasks, e.g., verify ... [More] that a C program fulfills a given specification. [Less]

5.8M lines of code

26 current contributors

3 days since last commit

0 users on Open Hub

High Activity
0.0
 
I Use This