Skip to content
View kik's full-sized avatar
33 followers · 1 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report kik

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

kik / CoqTools

Coq Tools

OCaml 1 Updated Aug 3, 2012

kik / Yesod-Anarchy-Proof-Server

Anarchy Proof Server re-implementation using Yesod framework.

Haskell 5 Updated May 6, 2012

kik / VSTTE2012

VSTTE2012 competition

Verilog 2 Updated Nov 10, 2011

kik / CoqExec

Coq Extraction Library

Verilog 2 Updated Jul 2, 2011

kik / ICFPC2011

ICFPC2011

Verilog 2 Updated Jun 21, 2011

kik / Four-Color-Theorem-Maintenance

Fixed FCT proof for latest coq and ssreflect

Verilog 12 1 Updated Jun 15, 2011

kik / YnotExt

Extend Ynot library

1 Updated Jun 9, 2011

kik / unfeal32

1 Updated Jan 29, 2011

kik / aps

aps

Ruby 1 Updated Sep 3, 2010

kik / TaraiTermination

Proof of general Tarai function termination problem by Coq

Coq 2 Updated Apr 29, 2014

shinh / ags

golf server

Ruby 49 7 Updated Apr 30, 2025

kik / cpppeg

PEG parser library for C++

C++ 2 Updated Oct 17, 2009

kik / sandbox

sandbox

Coq 2 Updated Apr 13, 2012