Pinned Loading

1. weinman/cnn_lstm_ctc_ocr weinman/cnn_lstm_ctc_ocr Public

   Tensorflow-based CNN+LSTM trained with CTC-loss for OCR

   Python 500 170

2. KeYmaeraX-release KeYmaeraX-release Public

   Forked from LS-Lab/KeYmaeraX-release

   KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

   Scala

3. niehusst/MapTextSynthesizer niehusst/MapTextSynthesizer Public

   A synthetic training data generator for a text recognition CNN

   C++ 6 13

4. nuaf nuaf Public

   C++ 1

5. enathang/SecureChatRoom enathang/SecureChatRoom Public

   Python 1

6. bsandbox bsandbox Public

   C