Search: Github-runner
Search Results
dev-python/certora-cli-alpha-uri-remove-last-conf-dir
Runner for the Certora Prover
app-emacs/verdict-dart
Dart runner for verdict
dev-python/certora-cli-alpha-uri-eradicate-certora-dir
Runner for the Certora Prover
dev-python/alacorderlite
Alacorder collects and processes case detail PDFs into data tables suitable for research purposes. Alacorder also generates compressed text archives from the source PDFs to speed future data collection from the same set of cases. Google Chrome required for direct access to case PDFs via query template (see /templates on GitHub).
dev-python/pySimpleBrainPlot
simpleBrainPlot is a small python package to create simple line-art brain plots, modified from matlab package Simple-Brain-Plot, https://github.com/dutchconnectomelab/Simple-Brain-Plot
dev-haskell/hspec-junit-formatter
A JUnit XML runner/formatter for hspec
dev-python/flask-unsign-wordlist
The following package is the standalone wordlist-only component to flask-unsign. For more information, see: https://github.com/Paradoxis/Flask-Unsign
dev-python/certora-cli-alpha-cnandi-morpho-equiv
Runner for the Certora Prover
dev-python/certora-cli-alpha-eyalf-enhance-CVLExpToTACExprMeta
Runner for the Certora Prover
dev-python/certora-cli-alpha-eytan-view-reentrency
Runner for the Certora Prover
dev-python/certora-cli-alpha-jtoman-infinite-loop-fix
Runner for the Certora Prover
dev-python/certora-cli-alpha-mike-consolidate-errors
Runner for the Certora Prover
dev-python/certora-cli-alpha-nast-mutation-test
Runner for the Certora Prover
dev-python/certora-cli-alpha-roy-CERT-1844-usage
Runner for the Certora Prover
dev-python/certora-cli-alpha-roy-CERT-1955-assertHits
Runner for the Certora Prover
dev-python/invoke-databricks-wheel-tasks
Databricks Python Wheel dev tasks in a namespaced collection of tasks to enrich the Invoke CLI task runner.
net-im/jitsi-videobridge
https://github.com/jitsi/jitsi-videobridge
dev-python/certora-cli-alpha-bgreenwald-vyper-slot-typedescriptors
Runner for the Certora Prover
dev-python/certora-cli-alpha-gereon-cert-1836-autodetect-bv
Runner for the Certora Prover
dev-python/certora-cli-alpha-otakar-single-race-mode2
Runner for the Certora Prover
dev-python/certora-cli-alpha-yuvalbd-function-signature-formatting
Runner for the Certora Prover
dev-python/autolink-references-mkdocs-plugin
This plugin allows to configure your own autolink references for non-GitHub URLs.
dev-python/certora-cli-alpha-gereon-cert-2041-convert-to-lists
Runner for the Certora Prover
dev-python/certora-cli-alpha-rahav-cert-1987-update-regTest
Runner for the Certora Prover
sec-keys/openpgp-keys-akallabeth
OpenPGP key for Github user akallabeth
sec-keys/openpgp-keys-brave-browser-pre-release
OpenPGP to sign Brave Browser's Github Beta/Nightly releases
sec-keys/openpgp-keys-brave-browser-release
OpenPGP to sign Brave Browser's Github releases
dev-java/pyrolite
This library allows your Java program to interface very easily with the Python world. It uses the Pyro protocol to call methods on remote objects. (See https://github.com/irmen/Pyro4). To that end, it also contains and uses a feature complete pickle protocol implementation -read and write- to exchange data with Pyro/Python. Pyrolite only implements part of the client side Pyro library, hence its name 'lite'... But because Pyrolite has no dependencies, it is a much lighter way to use Pyro from Java/.NET than a solution with jython+pyro or IronPython+Pyro would provide. So if you don't need Pyro's full feature set, and don't require your Java/.NET code to host Pyro objects itself, Pyrolite may be a good choice to connect java or .NET and python. (More info about Pyro itself: https://pyro4.readthedocs.io/ ) Version 4.30 changes: Support for unpickling protocol 5 pickles with out-of-band buffers (Python 3.8)