Pinned Loading

1. VoTE VoTE Public

   Verifier of Tree Ensembles

   C 7 1

2. llvm-p86 llvm-p86 Public

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

   Python 20

3. xtuml/pyxtuml xtuml/pyxtuml Public

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

   Python 6 9

4. xtuml/pyrsl xtuml/pyrsl Public

   Python-based interpreter for Rule Specification Language (RSL)

   Python 3 9

5. TVHGuide TVHGuide Public

   An Android client for TVHeadend using the HTSP protocol

   Java 48 25

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 3.3k 952