kik/sdr-tv kik/sdr-tv

  • Stars
    star
    60
  • Rank 503,336 (Top 10 %)
  • Language
    Python
  • Created over 10 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kik/sdr-tv
github

kik

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

RTL2832U NTSC viewer

More Repositories

1

progpow-exploit

C++
27
star
2

Four-Color-Theorem-Maintenance

Fixed FCT proof for latest coq and ssreflect
Verilog
11
star
3

Yesod-Anarchy-Proof-Server

Anarchy Proof Server re-implementation using Yesod framework.
Haskell
5
star
4

cpppeg

PEG parser library for C++
C++
2
star
5

VSTTE2012

VSTTE2012 competition
Verilog
2
star
6

fca

NES emulator on GBA
Assembly
2
star
7

CoqExec

Coq Extraction Library
Verilog
2
star
8

TaraiTermination

Proof of general Tarai function termination problem by Coq
Coq
2
star
9

sandbox

sandbox
Coq
2
star
10

ICFPC2011

ICFPC2011
Verilog
2
star
11

CoqTools

Coq Tools
OCaml
1
star
12

YnotExt

Extend Ynot library
1
star
13

obake

programming language: obake
OCaml
1
star
14

aps

aps
Ruby
1
star
15

ToyPr

Toy theorem prover
Haskell
1
star
16

unfeal32

1
star