philipp15b Goto Github PK

followers: 39.0 following: 5.0 repos: 27.0 gists: 0.0

Name: Philipp Schröer

Type: User

Company: RWTH Aachen University

Location: Germany

Philipp Schröer's Projects

caalaf

CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes expressed in the well-known CCS language (Calculus of Communicating Systems).

captioneer

A tool to write and compile closed captions for Source Engine-based games.

compassex

CompassEx (Compass Extended) Bukkit plugin

fish-shell

The user-friendly command line shell.

genfer

Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions

go-steam

Steam's protocol in Go to allow automation of different actions on the Steam network without running an actual Steam client. Includes APIs for friends, chatting, trading, trade offers and TF2 crafting.

go-steamapi

Steam Web API in Go.

google-translate-beatbox-helper

Adds a menu for Beatbox codes in German Google Translate via a Bookmarklet or a Google Chrome Extension.

indentwrappers.jl

Wrapper type for indentation management for plain text printing.

lit

An integrated testing tool inspired from LLVM's 'lit' tool

magicsigns

MagicSigns is a Bukkit plugin that adds interactive signs. There are healing signs, speed signs, signs that execute commands... It can even edit or mask signs.

mvm

A Minecraft version manager.

nixos-wsl

NixOS on WSL(2)

node-jsonrpc2

JSON-RPC client and server for node.js

php-i18n

Simple i18n class for PHP with caching and and ini, json and yaml support

pric3

Probabilistic IC3

probably

Python library for parsing, type-checking, and analyzing probabilistic programs written in the pGCL language.

regionwarp

A Bukkit plugin that allows warping to WorldGuard regions.

sourcescript

SourceScript is a small and simple programming language that aims to simplifiy programming configurations for Valve's games based on the Source Engine.