TobiasFaller

vscode-vt100-syntax-highlight

This is a Visual Studio Code extension to display and edit VT100 colors and styles in the text editor. A preview and export functionality enable additional workflows for terminal logs and files with VT100-VT520 escape sequences.

VHDTool

A simple utility to mount / unmount VHD Images a lot faster than using Microsofts DiskPart utility.

gcc-riscv-elf-rv32e-rv32i-rv64i

Build script to compile an up-to-date RISC-V GCC toolchain on Debian / Ubuntu with rv32e, rv32i and rv64i architectures and ilp32e, ilp32(fd) and lp64(fd) ABIs.

certifaiger

Certify Model Checking Witnesses in AIGER

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

Additional-Message-Sources

Provides Java helper classes to manage combined message sources.

Additional-Resource-Bundles

Provides Java helper classes to manage combined resource bundles.

aiger

AIGER And-Inverter-Graph Library

archi

bash-completion

Programmable completion functions for bash

cadical

CaDiCaL SAT Solver

capstone

Capstone disassembly/disassembler framework: Core (Arm, Arm64, BPF, EVM, M68K, M680X, MOS65xx, Mips, PPC, RISCV, Sparc, SystemZ, TMS320C64x, Web Assembly, X86, X86_64, XCore) + bindings.

custom-makefile-completion

Provides a patch to integrate custom Makefile completions into the bash-completion project

Fault

A complete Open Source Design for Testing (DFT) Solution

FFmpeg.NET

.NET wrapper for common ffmpeg tasks

gentoo

[MIRROR] Official Gentoo ebuild repository

git-tools

Various tools for Git

gvsoc

Pulp virtual platform

LeagueLocaleLauncher

A simple application that launches the League Of Legends launcher, with any Region & Language combo (ex. Japanese on the NA server)

Live2d-model

Live2d model collection

minimal

Minimal Linux Live (MLL) is a tiny educational Linux distribution, which is designed to be built from scratch by using a collection of automated shell scripts. Minimal Linux Live offers a core environment with just the Linux kernel, GNU C library, and Busybox userland utilities.

Minimalistic-File-Server

A minimalistic web server. Displays the listing of the passed directory as HTML web page and provides download links for each file and combined downloads as ZIP file.

pulp

This is the top-level project for the PULP Platform. It instantiates a PULP open-source system with a PULP SoC (microcontroller) domain accelerated by a PULP cluster with 8 cores.

pulp-sdk

pulpissimo

This is the top-level project for the PULPissimo Platform. It instantiates a PULPissimo open-source system with a PULP SoC domain, but no cluster.

pwndbg

Exploit Development and Reverse Engineering with GDB Made Easy

pxz

Parallel LZMA compressor using liblzma

slurm

Slurm: A Highly Scalable Workload Manager

vscode

Visual Studio Code

yosys

Yosys Open SYnthesis Suite