VOSK Speech Recognition Toolkit

Cortex Microcontroller Software Interface Standard (V4 no longer maintained)

SMACK Software Verifier and Verification Toolchain

FrameBuffer eInker, a small tool & library to print text & images to an eInk Linux framebuffer

This repo records all the vulnerabilities of linux software I have reproduced in my local workspace

Reference implementation of the Ogg media container

Apache NuttX Apps is a collection of tools, shells, network utilities, libraries, interpreters and can be used with the NuttX RTOS

Wolfenstein 3D with a CGA renderer

CMSIS version 6 (successor of CMSIS_5)

The vm images in this repo are lost, we recommend our new project: https://github.com/hust-open-atom-club/S2VulnHub

DARPA Cyber Grand Challenge Sample Challenges

An optimized C library for math, parallel processing and data movement

checkedthreads: no race condition goes unnoticed! Simple API, automatic load balancing, Valgrind-based checking

This repository contains tools to perform modern cache attacks on ARM.

🚽 The Other Implementation of figLET

SVT VP9 encoder. Scalable Video Technology (SVT) is a software-based video coding technology that is highly optimized for Intel® Xeon® processors. Using the open source SVT-VP9 encoder, it is possi…

Code clone detection; clone-related bug detection; sematic clone analysis

V compiler's source translated from V to C

Repository of microcontroller peripheral driver implementing the CMSIS-Driver API specification

FreeBSD adapted for CHERI-RISC-V and Arm Morello.

Stand-alone decoder library for .opus streams

Critical Mass Modula-3

disable compositor on Windows 10

Will Wright's city simulator (renamed here as Micropolis). Mirror of Don Hopkins' open source version.

Library for encoding .opus audio files and live streams.

A Verilog implementation of the Infocom Z-Machine V3. With BIOS and benchmarks. Verified in hardware.

A patched version of VEX to work with PyVEX.

A Valgrind tool for Herbie