Pinned Repositories
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Drain3
A powerful streaming log template miner based on the Drain algorithm
gitignore
The largest collection of useful .gitignore templates
gitignore.io
Create useful .gitignore files for your project
https-everywhere
A browser extension that encrypts your communications with many websites that offer HTTPS but don't yet enforce it.
invoice2
Intelligent invoices with LaTeX3
jabref
Graphical Java application for managing BibTeX and biblatex (.bib) databases
ktfmt
A program that reformats Kotlin source code to comply with the common community standard for Kotlin code conventions.
lektor-website
The main lektor website.
no-preserve-root's Repositories
no-preserve-root/invoice2
Intelligent invoices with LaTeX3
no-preserve-root/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
no-preserve-root/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
no-preserve-root/Drain3
A powerful streaming log template miner based on the Drain algorithm
no-preserve-root/gitignore
The largest collection of useful .gitignore templates
no-preserve-root/gitignore.io
Create useful .gitignore files for your project
no-preserve-root/https-everywhere
A browser extension that encrypts your communications with many websites that offer HTTPS but don't yet enforce it.
no-preserve-root/jabref
Graphical Java application for managing BibTeX and biblatex (.bib) databases
no-preserve-root/ktfmt
A program that reformats Kotlin source code to comply with the common community standard for Kotlin code conventions.
no-preserve-root/lektor-website
The main lektor website.
no-preserve-root/libminizinc
The MiniZinc compiler
no-preserve-root/licenser
A simple license header manager for Gradle
no-preserve-root/mps-workshop
A project which includes a workshop for the Meta Programming System.
no-preserve-root/nuvola-app-amazon-cloud-player
Amazon Cloud Player for Nuvola Player 3
no-preserve-root/pdfsizeopt
PDF file size optimizer
no-preserve-root/PhysX
NVIDIA PhysX SDK
no-preserve-root/PyGitUp
A nicer `git pull`
no-preserve-root/python_qt_binding
no-preserve-root/ros-melodic-python-qt-binding
ros-melodic-python-qt-bindingAUR package
no-preserve-root/schemastore
A collection of JSON schema files including full API
no-preserve-root/snowballing
Provides tools for literature snowballing
no-preserve-root/vcpkg
C++ Library Manager for Windows, Linux, and MacOS
no-preserve-root/veraPDF-apps
veraPDF GUI, CLI and installer for PDF Box validation
no-preserve-root/visual-automata
Visual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.
no-preserve-root/winget-pkgs
The Microsoft community Windows Package Manager manifest repository