Repositories
PiotrJander/pages
Published Twitter scrape summary pages
PiotrJander/FocusBlocker
Tiny macOS focus timer
PiotrJander/graphite-test
PiotrJander/wizero-system-prompt
PiotrJander/system_prompts_leaks
PiotrJander/chatgpt-retrieval-plugin
The ChatGPT Retrieval Plugin lets you easily search and find personal or work documents by asking questions in everyday language.
PiotrJander/oplss-staton
Code accompanying Sam Staton's lecture at OPLSS 2019: https://www.cs.uoregon.edu/research/summerschool/summer19/topics.php
PiotrJander/charts
Curated applications for Kubernetes
PiotrJander/lean-spring
PiotrJander/pytorch-lightning
The lightweight PyTorch wrapper for high-performance AI research. Scale your models, not the boilerplate.
PiotrJander/broken-link-checker
Find broken links, missing images, etc within your HTML.
PiotrJander/tutorials
Just Announced - "Learn Spring Security OAuth":
PiotrJander/tensorboard
TensorFlow's Visualization Toolkit
PiotrJander/neptune-tensorboard-keras-integration-example
PiotrJander/touk-cinema
PiotrJander/pulsar
Apache Pulsar - distributed pub-sub messaging system
PiotrJander/epaxos
PiotrJander/external-dns
Configure external DNS servers (AWS Route53, Google CloudDNS and others) for Kubernetes Ingresses and Services
PiotrJander/cert-manager
Automatically provision and manage TLS certificates in Kubernetes
PiotrJander/azure-pipelines-playground
PiotrJander/akka-http
The Streaming-first HTTP server/module of Akka
PiotrJander/pointfree-lift
PiotrJander/thesis
PiotrJander/plfa.github.io
Introduction to programming language theory in Agda
PiotrJander/TypeDD-Samples
Sample code from "Type Driven Development with Idris"
PiotrJander/post-rfc
Blog post previews in need of peer review
PiotrJander/agda-mode
agda-mode on Atom
PiotrJander/DeDRM_tools
DeDRM tools for ebooks