Popular repositories Loading

1. big-red big-red Public

   A graphical development environment for bigraphs, built upon Eclipse.

   Java 9 3

2. bigmc bigmc Public

   Forked from bigmc/bigmc

   Bigraphical Model Checker

   C++ 1

3. coq coq Public

   Forked from coq/coq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml

4. mih mih Public

   Forked from norouzi/mih

   Fast exact nearest neighbor search in Hamming distance on binary codes with Multi-index hashing

   C++

5. ann-benchmarks ann-benchmarks Public

   Forked from erikbern/ann-benchmarks

   Benchmarks of approximate nearest neighbor libraries in Python

   Python

6. ale-f.github.io ale-f.github.io Public

   Webs (internet)

   HTML