Compact and Efficient RISC-V RV32I[MAFC] emulator

A graphical processor simulator and assembly editor for the RISC-V ISA

Frama-C and WP tutorial

raid is a GDB-like tiny debugger which is based on ptrace.

Qemu kernel for emulating Rpi on QEMU

🦀 Small exercises to get you used to reading and writing Rust code!

An event-driven and non-blocking web server

a simple btree implementation with automatic space reclaiming

Go engine with no human-provided knowledge, modeled after the AlphaGo Zero paper.

Useful IT policies

The Linux Kernel Module Programming Guide (updated for 5.0+ kernels)

SAT Solver SATCH

A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.

Interactive Coq Proofs in Vim

【中州韻】Rime for Linux/IBus

A feature-rich dictionary lookup program, supporting multiple dictionary formats (StarDict/Babylon/Lingvo/Dictd) and online dictionaries, featuring perfect article rendering with the complete marku…

Free news feeds reader

This repository contains several applications, demonstrating the Meltdown bug.

Is Parallel Programming Hard, And If So, What Can You Do About It?

A tool translating GIMPLE to Cryptoline

Verified Software Toolchain

Verified Assembly Language for Everest

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

A minimalistic and high-performance SAT solver

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

A build-it-yourself, 6-wheel rover based on the rovers on Mars!

Design Pattern by Object-Oriented-C