Pinned Repositories
checkedc
Checked C is an extension to C that adds checking to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. This repo has a wiki for Checked C, sample code, the specification, and test code.
checkedc-clang
This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.
checkedc-libc-test
This repo contains a version of libc-test that is modified to test a Checked C version of the musl C library. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.
checkedc-musl
This repo contains a version of musl that is being modified to Checked C. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.
cn.vuejs.org
Chinese translation for vuejs.org :cn:
cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
data
dopelsunce.github.io
https://dopelsunce.github.io/
go
The Go programming language
UFO
UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
dopelsunce's Repositories
dopelsunce/checkedc
Checked C is an extension to C that adds checking to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. This repo has a wiki for Checked C, sample code, the specification, and test code.
dopelsunce/checkedc-clang
This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.
dopelsunce/checkedc-libc-test
This repo contains a version of libc-test that is modified to test a Checked C version of the musl C library. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.
dopelsunce/checkedc-musl
This repo contains a version of musl that is being modified to Checked C. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.
dopelsunce/cn.vuejs.org
Chinese translation for vuejs.org :cn:
dopelsunce/cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
dopelsunce/data
dopelsunce/dopelsunce.github.io
https://dopelsunce.github.io/
dopelsunce/dopelsunce2.github.io
dopelsunce/go
The Go programming language
dopelsunce/hw-acceptance-unit-test-cycle
dopelsunce/hw-refactoring-legacy-code-bug-fix
Legacy Assignment involving a bug fix
dopelsunce/hw-ruby-intro
Ruby Introduction Assignment for Agile Development using Ruby on Rails
dopelsunce/jekyll-cayman-theme
A Jekyll theme for the responsive theme for GitHub Pages http://jasonlong.github.io/cayman-theme/
dopelsunce/kilo
Learn how to build a text editor using C. Following tutorial http://viewsourcecode.org/snaptoken/kilo/
dopelsunce/kubernetes
Production-Grade Container Scheduling and Management
dopelsunce/lvisor
A minimal hypervisor based on lvisor
dopelsunce/pyodds
An End-to-end Outlier Detection System
dopelsunce/rottenpotatoes-rails-intro
RottenPotatoes app skeleton for saasbook/hw-rails-intro
dopelsunce/slate
Beautiful static documentation for your API
dopelsunce/sv-benchmarks
Collection of Verification Tasks
dopelsunce/typo
Typo is the oldest and most powerful Ruby on Rails blogware, providing custom templates, powerful drag and drop plugins API, advanced SEO capabilities, XMLRPC API and many more.
dopelsunce/UFO
UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
dopelsunce/vue-hackernews-2.0
HackerNews clone built with Vue 2.0, vue-router & vuex, with server-side rendering