TobiasFaller

I am a PhD student at the University Freiburg researching on SBST generation for RISC-V.

Pinned Repositories

AlgorithmAndDatastructures-Builds
Built slides for the course 'Algorithm and Datastructures' at 'Albert-Ludwigs-Universitaet Freiburg' (http://www.bioinf.uni-freiburg.de/Lehre/Courses/2016_WS/V_AuD/)
2 1 10
AlgorithmAndDatastructures-Data
Data for the course 'Algorithm and Datastructures' at 'Albert-Ludwigs-Universitaet Freiburg' (http://www.bioinf.uni-freiburg.de/Lehre/Courses/2016_WS/V_AuD/)
Language:Java1 3 10
attiny817-asm-framework
This project provides a basic framework for ATtiny817 assembler projects.
Language:Assembly0 1 10
certifaiger
Certify Model Checking Witnesses in AIGER
Language:C++1 0 00
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.
Language:Shell10 2 11
spi-flash-programmer
Arduino based programmer / burner for SPI flash chips
Language:Python1 2 00
UniFr-Lecture-AlgoDat-Slides
Algorithm & Data structures
Language:TeX1 1 00
UniFr-Lecture-AlgoDat-Solutions-Rust
Solutions for the exercises of the course 'Algorithm and Datastructures' at 'Albert-Ludwigs-Universitaet Freiburg' written in Rust
Language:Rust1 1 10
VHDTool
A simple utility to mount / unmount VHD Images a lot faster than using Microsofts DiskPart utility.
Language:C++23 2 106
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.
Language:TypeScript30 4 284

TobiasFaller's Repositories

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.
Language:TypeScript30 4 284
TobiasFaller/VHDTool
A simple utility to mount / unmount VHD Images a lot faster than using Microsofts DiskPart utility.
Language:C++23 2 106
TobiasFaller/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.
Language:Shell10 2 11
TobiasFaller/certifaiger
Certify Model Checking Witnesses in AIGER
Language:C++1 0 00
TobiasFaller/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
Language:C0 1 00
TobiasFaller/Additional-Message-Sources
Provides Java helper classes to manage combined message sources.
Language:Java1 1
TobiasFaller/Additional-Resource-Bundles
Provides Java helper classes to manage combined resource bundles.
Language:Java1 0
TobiasFaller/aiger
AIGER And-Inverter-Graph Library
Language:C0 0
TobiasFaller/archi
Language:C++1 0
TobiasFaller/bash-completion
Programmable completion functions for bash
Language:Shell1 0
TobiasFaller/cadical
CaDiCaL SAT Solver
Language:C++0 0
TobiasFaller/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.
Language:C1 0
TobiasFaller/custom-makefile-completion
Provides a patch to integrate custom Makefile completions into the bash-completion project
2 0
TobiasFaller/Fault
A complete Open Source Design for Testing (DFT) Solution
Language:Swift1 0
TobiasFaller/FFmpeg.NET
.NET wrapper for common ffmpeg tasks
Language:C#
TobiasFaller/gentoo
[MIRROR] Official Gentoo ebuild repository
Language:Shell1 0
TobiasFaller/git-tools
Various tools for Git
Language:Python1 0
TobiasFaller/gvsoc
Pulp virtual platform
Language:C++1 0
TobiasFaller/LeagueLocaleLauncher
A simple application that launches the League Of Legends launcher, with any Region & Language combo (ex. Japanese on the NA server)
Language:C#1 0
TobiasFaller/Live2d-model
Live2d model collection
Language:Mathematica1 0
TobiasFaller/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.
Language:HTML1 0
TobiasFaller/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.
Language:Java1 01
TobiasFaller/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.
Language:SystemVerilog1 0
TobiasFaller/pulp-sdk
Language:C1 0
TobiasFaller/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.
Language:C++1 0
TobiasFaller/pwndbg
Exploit Development and Reverse Engineering with GDB Made Easy
Language:Python1 0
TobiasFaller/pxz
Parallel LZMA compressor using liblzma
Language:C1 0
TobiasFaller/slurm
Slurm: A Highly Scalable Workload Manager
Language:C1 0
TobiasFaller/vscode
Visual Studio Code
Language:TypeScript1 0
TobiasFaller/yosys
Yosys Open SYnthesis Suite
Language:C++1 0