p4p4

p4p4's Stars

• dockersamples/wordsmith

  Sample project with Docker containers running under Kubernetes

  Language:Java259461

• MiczFlor/RPi-Jukebox-RFID

  A Raspberry Pi jukebox, playing local music, podcasts, web radio and streams triggered by RFID cards, web app or home automation. All plug and play via USB. GPIO scripts available.

  Language:PHP1.3k395

• temporalio/cli

  Command-line interface for running Temporal Server and interacting with Workflows, Activities, Namespaces, and other parts of Temporal

  Language:Go24834

• mmcgrana/gobyexample

  Go by Example

  Language:Go7.2k1.3k

• sdkman/sdkman-cli

  The SDKMAN! Command Line Interface

  Language:Gherkin6.1k628

• ebergama/sonarr-sub-downloader

  Sonarr custom post processor script for handling subtitle download

  Language:Shell4316

• Sonarr/Sonarr

  Smart PVR for newsgroup and bittorrent users.

  Language:C#10.6k1.3k

• p4p4/soft-error-tools

  analyze robustness against soft-errors and detect bugs in protection logic

  Language:C++3

• s1gh/ctf-literature

  Collection of free books, papers and articles related to CTF challenges.

  Language:HTML36276

• portfolio-performance/portfolio

  Track and evaluate the performance of your investment portfolio across stocks, cryptocurrencies, and other assets.

  Language:Java2.8k588

• papers-we-love/papers-we-love

  Papers from the computer science community to read and discuss.

  Language:Shell86.7k5.7k

• sosy-lab/cpachecker

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

  Language:SWIG22290

• muaz-khan/WebRTC-Experiment

  WebRTC, WebRTC and WebRTC. Everything here is all about WebRTC!!

  Language:JavaScript11.7k4k

• YosysHQ/picorv32

  PicoRV32 - A Size-Optimized RISC-V CPU

  Language:Verilog3k745

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.1k1.5k

• YosysHQ/yosys

  Yosys Open SYnthesis Suite

  Language:C++3.4k873

• sebastianhodapp/ESPbootloader

  Bootloader for ESP8266 modules flashed with NodeMCU for simple wifi configuration.

  Language:Python4120

• pinae/ESP8266-Dash

  Build your own Amazon-free Dash-Button with a ESP-01-Module (ESP8266)

  Language:Arduino397

• angr/angr-doc

  Documentation for the angr suite

  Language:TeX837378

• angr/angr

  A powerful and user-friendly binary analysis platform!

  Language:Python7.5k1.1k

• klee/klee

  KLEE Symbolic Execution Engine

  Language:C++2.6k675

• niklasso/minisat

  A minimalistic and high-performance SAT solver

  Language:C++1k381

• misc0110/dash-button

  Making the Amazon Dash Button useful

  Language:Python274

• pallets/jinja

  A very fast and expressive template engine.

  Language:Python10.2k1.6k

• Freeyourgadget/Gadgetbridge

  We are on codeberg.org now! https://codeberg.org/Freeyourgadget/Gadgetbridge - Gadgetbridge - A free and cloudless replacement for your gadget vendors' closed source Android applications. Supports Pebble, Mi Band, Liveview, HPlus and more.

  Language:Java4.2k655

• p4p4/RaspberinoServer

  Server Application to enable a Raspberry Pi to be controlled in Pocket Code via a Socket Connection

  2

• goddyZhao/nproxy

  A cli proxy tool specialized in file replacing

  Language:JavaScript50989

• pylerSM/YouTubeBackgroundPlayback

  [Xposed module] Enable background playback in YouTube

  Language:Java31581

• adam-p/markdown-here

  Google Chrome, Firefox, and Thunderbird extension that lets you write email in Markdown and render it before sending.

  Language:JavaScript59.6k11.3k

• Catrobat/Catroid

  Writing programs on an Android device without prior knowledge.

  Language:Java409674