Skip to content
View TobiasFaller's full-sized avatar
💭
Experimenting with RISC-V, FPGAs etc.
💭
Experimenting with RISC-V, FPGAs etc.
26 followers · 16 following

Achievements

Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report TobiasFaller

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. FreiTest Public

    A scientific framework for researching automatic test pattern generation (ATPG)

    1

  2. NCIP Public

    Source code for the Next Craig Interpolant Prover (NCIP)

  3. VHDTool Public

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

    C++ 23 7

  4. vscode-vt100-syntax-highlight Public

    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 wit…

    TypeScript 30 5

  5. gcc-riscv-elf-rv32e-rv32i-rv64i Public

    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.

    Shell 10 1