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 4 days 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.

117K lines of code

11 current contributors

4 days since last commit

3 users on Open Hub

High Activity
5.0
 
I Use This

Vcsn

Compare

Claimed by EPITA Research and Developm... Analyzed 4 days 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.

6.7M lines of code

3 current contributors

6 days since last commit

3 users on Open Hub

Moderate Activity
5.0
 
I Use This

Jupyter-PHP

Compare

  Analyzed 4 days ago

A PHP Kernel for Jupyter. This project enables us to use PHP inside the Jupyter Notebooks.

995 lines of code

3 current contributors

4 months since last commit

1 users on Open Hub

Very Low Activity
5.0
 
I Use This

jupyter-ganymede

Compare

  Analyzed 3 days ago

Hacking Jupyter's atmosphere

1.51K lines of code

1 current contributors

about 1 month since last commit

0 users on Open Hub

Very Low Activity
0.0
 
I Use This

binder-web-prototype

Compare

  Analyzed 11 days ago

Web app for making Binders

2.69K lines of code

1 current contributors

6 months since last commit

0 users on Open Hub

Very Low Activity
0.0
 
I Use This

nteract

Compare

  Analyzed 2 months ago

:notebook: Interactive literate coding notebook!

880K lines of code

95 current contributors

3 months since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

RISE Live Reveal

Compare

  Analyzed 8 days ago

Reveal.js - Jupyter/IPython Slideshow Extension, also known as live_reveal. Quickly turn your Jupyter Notebooks into a live presentation.

792 lines of code

10 current contributors

19 days since last commit

0 users on Open Hub

Moderate Activity
0.0
 
I Use This