Giters
NyonCat

NyonCat

Geek Repo

0

followers

4

following

41

stars

Github PK Tool:Github PK Tool

NyonCat's starred repositories

ofxOAuth

An OAuth 1.0 system (via liboauth) with pin-less verification via a mini callback server Examples for Twitter, Tumblr, Vimeo, Fitbit, etc.

Language:CLicense:MITStargazers:4Issues:0Issues:0

LibTwitter-Core

C++ Twitter API Library (Core)

Language:CLicense:NOASSERTIONStargazers:5Issues:0Issues:0

twittergo

Twitter client library for go

Language:GoLicense:Apache-2.0Stargazers:200Issues:0Issues:0

twurl

OAuth-enabled curl for the Twitter API

Language:RubyLicense:MITStargazers:1796Issues:0Issues:0

tool_lists

Links to tools by subject

License:CC0-1.0Stargazers:366Issues:0Issues:0

minisat

A minimalistic and high-performance SAT solver

Language:C++License:NOASSERTIONStargazers:1019Issues:0Issues:0

HOL

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

Language:Standard MLLicense:NOASSERTIONStargazers:622Issues:0Issues:0

Ne10

An open optimized software library project for the ARM® Architecture

Language:CLicense:NOASSERTIONStargazers:1460Issues:0Issues:0

qemu

Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

Language:CLicense:NOASSERTIONStargazers:10228Issues:0Issues:0

s2e-old

This is the archived S2E 1.0 repo. We do not maintain it anymore.

Language:CLicense:NOASSERTIONStargazers:315Issues:0Issues:0

klee

KLEE Symbolic Execution Engine

Language:C++License:NOASSERTIONStargazers:2618Issues:0Issues:0