Pinned Repositories
hubble
🛰 Collaboration, usage, and health data visualization for GitHub Enterprise
2018-12-11-debug-hyper-issue
Repository to debug issues with git2-rs in conjunction with GitHub API calls made with reqwest via hyper
2019-01-30-relative-submodule-links
Test repository for showing that relative submodule links aren’t rendered by GitHub
backup-utils
GitHub Enterprise Backup Utilities
bibliography
📚 BibTeX bibliography files of all papers referenced by the group
clingo-rs
Rust bindings to the clingo library
debug-libgit2-ssl-broken-pipe-issue
Debugging an issue with libgit2: “SSL error: syscall failure: Broken pipe”
foliage
🍁 Rust crate for first-order logic with integer arithmetics
musaeum
🏛️ A clean and responsive Hugo theme for manuals and documentation
pddl-instances
🌍 PDDL instances covering the International Planning Competitions
pluehne's Repositories
pluehne/musaeum
🏛️ A clean and responsive Hugo theme for manuals and documentation
pluehne/2018-12-11-debug-hyper-issue
Repository to debug issues with git2-rs in conjunction with GitHub API calls made with reqwest via hyper
pluehne/2019-01-30-relative-submodule-links
Test repository for showing that relative submodule links aren’t rendered by GitHub
pluehne/backup-utils
GitHub Enterprise Backup Utilities
pluehne/bibliography
📚 BibTeX bibliography files of all papers referenced by the group
pluehne/clingo-rs
Rust bindings to the clingo library
pluehne/debug-libgit2-ssl-broken-pipe-issue
Debugging an issue with libgit2: “SSL error: syscall failure: Broken pipe”
pluehne/foliage
🍁 Rust crate for first-order logic with integer arithmetics
pluehne/git
Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.
pluehne/git-lfs
Git extension for versioning large files
pluehne/git-lfs-demo-advanced
Repository with large files and a few gotchas for demonstrating how to migrate to Git LFS
pluehne/git-lfs-demo-easy
Repository with large files for demonstrating how to migrate to Git LFS
pluehne/git2-rs
libgit2 bindings for Rust
pluehne/gitea
Gitea: Git with a cup of tea
pluehne/hci-mobile-prototype
Resources for creating Qt prototypes of mobile applications the size of an iPod nano.
pluehne/http
Rust HTTP types
pluehne/hubble
🛰 Collaboration, usage, and health data visualization for GitHub Enterprise
pluehne/libgit2
A cross-platform, linkable library implementation of Git that you can use in your application.
pluehne/nom
Rust parser combinator framework
pluehne/okta-sdk-python
pluehne/openapi
openapi schema serialization for rust
pluehne/presentations
Primer Presentations is the presentation design system for GitHub. It's intended to be used only by GitHub staff for presentations that represent GitHub.
pluehne/python-fints
Minimal pure-python FinTS (formerly known as HBCI) implementation
pluehne/reqwest
An easy and powerful Rust HTTP Client
pluehne/slack-api-specs
Open API specifications for platform products by Slack