kik/sandbox kik/sandbox

  • Stars
    star
    2
  • Language Coq
  • Created about 16 years ago
  • Updated over 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kik/sandbox
github

kik

Reviews

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

Repository Details

sandbox

More 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

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