Piotr Jander's repositories
oplss-staton
Code accompanying Sam Staton's lecture at OPLSS 2019: https://www.cs.uoregon.edu/research/summerschool/summer19/topics.php
agda-mode
agda-mode on Atom
akka-http
The Streaming-first HTTP server/module of Akka
broken-link-checker
Find broken links, missing images, etc within your HTML.
cert-manager
Automatically provision and manage TLS certificates in Kubernetes
char-rnn-tensorflow
Multi-layer Recurrent Neural Networks (LSTM, RNN) for character-level language models in Python using Tensorflow
charts
Curated applications for Kubernetes
chatgpt-retrieval-plugin
The ChatGPT Retrieval Plugin lets you easily search and find personal or work documents by asking questions in everyday language.
DeDRM_tools
DeDRM tools for ebooks
external-dns
Configure external DNS servers (AWS Route53, Google CloudDNS and others) for Kubernetes Ingresses and Services
plfa.github.io
Introduction to programming language theory in Agda
post-rfc
Blog post previews in need of peer review
pulsar
Apache Pulsar - distributed pub-sub messaging system
pytorch-lightning
The lightweight PyTorch wrapper for high-performance AI research. Scale your models, not the boilerplate.
tensorboard
TensorFlow's Visualization Toolkit
TypeDD-Samples
Sample code from "Type Driven Development with Idris"