tobiasfaller Goto Github PK
Name: Tobias Faller
Type: User
Bio: I am a PhD student at the University Freiburg researching on SBST generation for RISC-V.
Name: Tobias Faller
Type: User
Bio: I am a PhD student at the University Freiburg researching on SBST generation for RISC-V.
ABC: System for Sequential Logic Synthesis and Formal Verification
Provides Java helper classes to manage combined message sources.
Provides Java helper classes to manage combined resource bundles.
AIGER And-Inverter-Graph Library
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/)
Data for the course 'Algorithm and Datastructures' at 'Albert-Ludwigs-Universitaet Freiburg' (http://www.bioinf.uni-freiburg.de/Lehre/Courses/2016_WS/V_AuD/)
Übung der Vorlesungen Algorithmen und Datenstrukturen geschrieben in Java
Built slides for the course 'Algorithm and Datastructures' at 'Albert-Ludwigs-Universitaet Freiburg'
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/)
This project provides a basic framework for ATtiny817 assembler projects.
Programmable completion functions for bash
CaDiCaL SAT Solver
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.
Certify Model Checking Witnesses in AIGER
Provides a patch to integrate custom Makefile completions into the bash-completion project
A minecraft mod providing items / block handling experience of a player.
A complete Open Source Design for Testing (DFT) Solution
.NET wrapper for common ffmpeg tasks
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.
[MIRROR] Official Gentoo ebuild repository
Ghidra C++ Class and Run Time Type Information Analyzer
Various tools for Git
Pulp virtual platform
A simple application that launches the League Of Legends launcher, with any Region & Language combo (ex. Japanese on the NA server)
Live2d model collection
A very simple Minecraft Downloader written in Java
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.
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.
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.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.