tobiasfaller Goto Github PK

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

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/)

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/)

algorithmanddatastructures-java

Übung der Vorlesungen Algorithmen und Datenstrukturen geschrieben in Java

algorithmanddatastructures-material

Built slides for the course 'Algorithm and Datastructures' at 'Albert-Ludwigs-Universitaet Freiburg'

algorithmanddatastructures-plain-builds

Built plain slides for the course 'Algorithm and Datastructures' at 'Albert-Ludwigs-Universitaet Freiburg' (http://www.bioinf.uni-freiburg.de/Lehre/Courses/2016_WS/V_AuD/)

archi

attiny817-asm-framework

This project provides a basic framework for ATtiny817 assembler projects.

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

expplus

A minecraft mod providing items / block handling experience of a player.

fault

A complete Open Source Design for Testing (DFT) Solution

ffmpeg.net

.NET wrapper for common ffmpeg tasks

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.

gentoo

[MIRROR] Official Gentoo ebuild repository

ghidra-cpp-class-analyzer

Ghidra C++ Class and Run Time Type Information Analyzer

git-tools

Various tools for Git

github-actions

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

minecraft-downloader

A very simple Minecraft Downloader written in Java

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.