Giters
Julian Horsch (jumaho)

jumaho

Geek Repo

3

followers

0

following

102

stars

Company:Fraunhofer AISEC

Github PK Tool:Github PK Tool

Organizations
cheri-linux
Fraunhofer-AISEC
llvm-return-stack

Julian Horsch's repositories

cokey-host-driver

CoKey Linux Host Driver

Language:CLicense:GPL-2.0Stargazers:1Issues:0Issues:0

cokey-token-linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

external_protobuf-c

Protocol Buffers implementation in C

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

external_protobuf-c-text

Protocol Buffers text format routines for C library

Language:ShellLicense:MITStargazers:0Issues:0Issues:0

ohmyzsh

🙃 A delightful community-driven (with 1700+ contributors) framework for managing your zsh configuration. Includes nearly 300 optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

Language:ShellLicense:MITStargazers:0Issues:0Issues:0

SVF

Static Value-Flow Analysis Framework for Source Code

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0