Giters
Philipp Wendler (PhilippWendler)

PhilippWendler

Geek Repo

42

followers

17

following

45

stars

Company:@sosy-lab, LMU Munich

Home Page:https://www.philippwendler.de

Github PK Tool:Github PK Tool

Organizations
IEEE-SB-Passau
sosy-lab

Philipp Wendler's starred repositories

ripgrep

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

Language:RustLicense:UnlicenseStargazers:47795Issues:290Issues:1618

styleguide

Style guides for Google-originated open-source projects

Language:HTMLLicense:Apache-2.0Stargazers:37258Issues:1273Issues:334

autojump

A cd command that learns - easily navigate directories from the command line

Language:PythonLicense:NOASSERTIONStargazers:16186Issues:174Issues:499

bash-git-prompt

An informative and fancy bash prompt for Git users

Language:ShellLicense:BSD-2-ClauseStargazers:6704Issues:151Issues:300

npm-check

Check for outdated, incorrect, and unused dependencies.

Language:JavaScriptLicense:MITStargazers:6579Issues:50Issues:352

google-java-format

Reformats Java source code to comply with Google Java Style.

Language:JavaLicense:NOASSERTIONStargazers:5566Issues:136Issues:598

Conversations

Conversations is an open source XMPP/Jabber client for Android

License:GPL-3.0Stargazers:4213Issues:252Issues:3478

ansible-cmdb

Generate host overview from ansible fact gathering output

Language:PythonLicense:GPL-3.0Stargazers:2346Issues:147Issues:203

pdfpc

A presenter console with multi-monitor support for PDF files.

Language:ValaLicense:GPL-3.0Stargazers:1543Issues:33Issues:408

vimperator-labs

Vimperator

Language:JavaScriptLicense:NOASSERTIONStargazers:1193Issues:88Issues:609

csmith

Csmith, a random generator of C programs

Language:C++License:NOASSERTIONStargazers:1006Issues:35Issues:99

cbmc

C Bounded Model Checker

Language:C++License:NOASSERTIONStargazers:824Issues:39Issues:1284

jspecify

An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.

Language:JavaLicense:Apache-2.0Stargazers:523Issues:38Issues:329

httpunit

httpUnit tests compliance of web and net servers with desired output.

Language:GoLicense:MITStargazers:164Issues:20Issues:9

firmware-lenovo

Missing firmware for Lenovo Thinkpad hardware

Stargazers:119Issues:17Issues:469

btrfs-sync

Smart and easy sync of BTRFS snapshots, locally or through SSH

Language:ShellLicense:GPL-3.0Stargazers:83Issues:6Issues:19

zealusercontributions

Zeal User Contributions - Create Feed Urls in XML

Language:TypeScriptStargazers:81Issues:1Issues:3

reuse-action

A GitHub action to check repositories for REUSE compliance

Language:ShellStargazers:56Issues:8Issues:19

btrfs-snp

Automatic BTRFS snapshots made simple

Language:ShellLicense:GPL-3.0Stargazers:52Issues:8Issues:6

gitdub

:outbox_tray: A github WebHook that emails detailed diffs of your commits.

Language:RubyLicense:BSD-3-ClauseStargazers:26Issues:7Issues:10

sv-witnesses

An Exchange Format for Verification Witnesses (MOVED, please follow the link)

Language:PythonLicense:Apache-2.0Stargazers:18Issues:15Issues:33

sv-comp

Information to reproduce results from SV-COMP (MOVED, please follow the link)

License:Apache-2.0Stargazers:15Issues:7Issues:2

pve-ceph-orphaned-images

Find and display orphaned images on a Proxmox VE Ceph Cluster

Language:ShellLicense:AGPL-3.0Stargazers:10Issues:2Issues:0

windows_product_key

A simple kernel module to show the windows product key of your machine via ACPI

Language:CLicense:GPL-3.0Stargazers:8Issues:4Issues:0

llvm-j

Java bindings for LLVM libraries

Language:JavaLicense:NOASSERTIONStargazers:8Issues:13Issues:12

DB-Wagenreihungsplan-XML-to-HTML

Automatische Generierung eines Wagenreihungsplans im Stil der DB nach von der DB bereitgestellten XML-Dateien

Language:HTMLStargazers:5Issues:1Issues:5

bahnhofsquartett

A card game with train stations and open data

Language:JavaScriptLicense:MITStargazers:4Issues:4Issues:0

semtransforms

Benchmark Generation for Software Verifiers via Reachability-Preserving Transformations

Language:PythonLicense:MITStargazers:4Issues:3Issues:1

cpachecker-1

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

Language:CLicense:NOASSERTIONStargazers:3Issues:2Issues:0

vim-syntax-specautomata

A Vim Syntax Highlighting Plugin for CPAchecker's Specification Automata

Language:Vim ScriptLicense:MITStargazers:1Issues:2Issues:0