Tobias Faller's repositories
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.
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
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
bash-completion
Programmable completion functions for bash
cadical
CaDiCaL SAT Solver
custom-makefile-completion
Provides a patch to integrate custom Makefile completions into the bash-completion project
FFmpeg.NET
.NET wrapper for common ffmpeg tasks
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.
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.
vscode
Visual Studio Code