|
LRDE Share |
1 |
0 |
|
0 |
none
|
0 |
``Share'' is a set of useful files for writing LaTeX documents (style files, bibliographies, Make helpers, etc.). This repository is mainly used by members of LRDE (EPITA Research and Development Laboratory) but anybody may use it freely. |
Remove
|
|
Vcsn |
3 |
146264 |
|
2 |
5.0
|
0 |
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. |
Remove
|
|
Spot |
4 |
264295 |
|
3 |
5.0
|
0 |
Spot is a C++17 library for ω-automata and LTL formulas manipulations, with applications to model checking and reactive synthesis. It comes with a dozen command-line utilities and Python bindings. |
Remove
|
|
Vaucanson 1 |
1 |
0 |
|
0 |
none
|
0 |
Vaucanson is a finite state machine manipulation platform, consisting of a library and tools
... [More]
implemented on top of it. It benefits from the expertise we gained from LRDE's intensive work on high performance generic programming for Olena. On the other hand, its theoretical well-foundedness in the area of automata is ensured thanks to a collaboration with Jacques Sakarovitch, at the Ecole Nationale Supérieure des Télécommunications (ENST). [Less]
|
Remove
|
|
Olena |
2 |
0 |
|
0 |
none
|
0 |
Olena is a platform dedicated to image processing and pattern recognition. Its core component is a
... [More]
generic and efficient C++ library, Milena. Milena provides a framework to implement simple, fast, safe, reusable and extensible image processing tool chains. The library provides many ready-to-use algorithms and image data structures. Algorithms are built upon classical entities from the image processing field. This design allows developers and practitioners to easily understand, modify, develop and extend new algorithms while retaining the core traits of Milena: genericity and efficiency.
The Olena platform also features additional modules such as Swilena, a component exposing Milena to other languages thanks to SWIG, and the SCRIBO module for Document Image Analysis. [Less]
|
Remove
|