weirdsmiley Goto Github PK

auten

[WIP] Automated Test Generation Tool

bionically

Convert text into bionic-reading format

client-server-model

A TCP implementation of client-server model

coalias

context.vim

Vim plugin that shows the context of the currently visible buffer contents

dotfiles

My personal dotfiles and scripts (will be kept updated in future)

fuzzylogic

klee

KLEE Symbolic Execution Engine

linux

Adding support for the Rust language to the Linux kernel.

linux-next

llvm-project-upstream

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

maysh

A simple shell in C

neuana

Numerical Error Analysis Toolkit

osv

OSv, a new operating system for the cloud.

polybench-c-4.2.1-beta

Updated for symbolically identifying auto-vectorization checks with KLEE

progfun-wiki

quicksort_gen

Generic implementation of quicksort

rcov

Get coverage report of cargo project

reason

A shell for research papers

rust

Empowering everyone to build reliable and efficient software.

rust-analyzer

A Rust compiler front-end for IDEs

syscall_in_linux

A new syscall `sh_task_info` is implemented in Linux-3.16.73 kernel

urlview

Extract URLs from a text file and allow the user to select via a menu (See patch in description)

vim-draw

Easily draw box diagrams in Vim

vim-schedule-highlight

wdb

A debugger written in rust

weather-query

A weather query project.

wssite-content

All content and giscus discussions for WSsite