Name: Philipp Paulweber
Type: User
Company: @fiskaly @sealangdotorg
Bio: Industrial Researcher and VPE @fiskaly and Creator of @sealangdotorg.
Twitter: ppaulweber
Location: Vienna, Austria
Blog: https://ppaulweber.com
Philipp Paulweber's Projects
3iotBox – 3 IoT Complete Box
📖 Documentation site for Academic Website Builder
TBD
http://llvm.org/git/clang.git
build scheduler and web interface
A Concourse resource that sends emails
tracks commits in a branch of a Git repository
A simple email resource for concourse CI
A Concource CI resource type for Matrix.org notifications
concourse.ci resource for persisting build artifacts on a shared storage location with rsync and ssh.
Maven-based Java Build Environment
The DokuWiki Open Source Wiki Engine
GitLab CE Python Tool
GitLab CE Projectfile Viewer Plugin
:octocat: GitHub Action to compile LaTeX documents
Install the Z3 binary in Github Actions
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
This is a test project where you can explore how github interprets Org-mode files
Quickwit data source for Grafana
Hurl, run and test HTTP requests with plain text.
A command-line benchmarking tool
Example of Just the Docs as a remote theme
Complete x86/x64 JIT and Remote Assembler for C++
Instructions database and utilities for X86/X64 and ARM (THUMB/A32/A64) architectures.
Google Test
Org-Mode Library