Pinned Loading

1. VoTE VoTE Public

   Verifier of Tree Ensembles

   C 6 1

2. llvm-p86 llvm-p86 Public

   A compiler and mutation testing framework for the programming language Pascal-86

   Python 18

3. xtuml/pyxtuml xtuml/pyxtuml Public

   Python library for parsing, manipulating, and generating BridgePoint xtUML models

   Python 4 9

4. xtuml/pyrsl xtuml/pyrsl Public

   Python-based interpreter for Rule Specification Language (RSL)

   Python 2 9

5. TVHGuide TVHGuide Public

   An Android client for TVHeadend using the HTSP protocol

   Java 45 24

6. tvheadend/tvheadend tvheadend/tvheadend Public

   Tvheadend is the leading TV streaming server for Linux with ATSC, DVB-C/C2, DVB-S/S2, DVB-T/T2, IPTV, SAT>IP and unix pipe input sources

   C 2.9k 922