dopelsunce Goto Github PK

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/

dopelsunce2.github.io

go

The Go programming language

hw-acceptance-unit-test-cycle

hw-refactoring-legacy-code-bug-fix

Legacy Assignment involving a bug fix

hw-ruby-intro

Ruby Introduction Assignment for Agile Development using Ruby on Rails

jekyll-cayman-theme

A Jekyll theme for the responsive theme for GitHub Pages http://jasonlong.github.io/cayman-theme/

kilo

Learn how to build a text editor using C. Following tutorial http://viewsourcecode.org/snaptoken/kilo/

kubernetes

Production-Grade Container Scheduling and Management

lvisor

A minimal hypervisor based on lvisor

pyodds

An End-to-end Outlier Detection System

rottenpotatoes-rails-intro

RottenPotatoes app skeleton for saasbook/hw-rails-intro

slate

Beautiful static documentation for your API

sv-benchmarks

Collection of Verification Tasks

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.

ufo

UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities

vue-hackernews-2.0

HackerNews clone built with Vue 2.0, vue-router & vuex, with server-side rendering