weirdsmiley

bionically

Convert text into bionic-reading format

rcov

Get coverage report of cargo project

Vim-Draw

Easily draw box diagrams in Vim

wdb

A debugger written in rust

auten

[WIP] Automated Test Generation Tool

dotfiles

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

rust-analyzer

A Rust compiler front-end for IDEs

urlview

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

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

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

reason

A shell for research papers

rust

Empowering everyone to build reliable and efficient software.

syscall_in_linux

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

vim-schedule-highlight

weather-query

A weather query project.

wssite-content

All content and giscus discussions for WSsite