@kik
github

kik

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    123
  • Global Rank 178,781 (Top 7 %)
  • Followers 27
  • Following 1
  • Registered about 16 years ago
  • Most used languages
    Verilog     26.7 %
    OCaml
         13.3 %
    Haskell
         13.3 %
    C++
         13.3 %
    Coq     13.3 %
    Assembly
         6.7 %
    Ruby
         6.7 %
    Python
         6.7 %

Top repositories

1

sdr-tv

RTL2832U NTSC viewer
Python
60
star
2

progpow-exploit

C++
27
star
3

Four-Color-Theorem-Maintenance

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

Yesod-Anarchy-Proof-Server

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

cpppeg

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

VSTTE2012

VSTTE2012 competition
Verilog
2
star
7

fca

NES emulator on GBA
Assembly
2
star
8

CoqExec

Coq Extraction Library
Verilog
2
star
9

TaraiTermination

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

sandbox

sandbox
Coq
2
star
11

ICFPC2011

ICFPC2011
Verilog
2
star
12

CoqTools

Coq Tools
OCaml
1
star
13

YnotExt

Extend Ynot library
1
star
14

obake

programming language: obake
OCaml
1
star
15

aps

aps
Ruby
1
star
16

ToyPr

Toy theorem prover
Haskell
1
star
17

unfeal32

1
star