Parrot
Parrot
Since GPG 2.1.11 it is possible to export a SSH key from a GPG sub-key with authentication usage. This exports a SSH public key which than can be used to...
### Guidelines - [X] I have searched searched open and closed issues for duplicates - [X] I am submitting a bug report for existing functionality that does not work as...
Parse the phase center offset recorded in rinex 3 observation file
I was trying to fix [issue 117](https://github.com/geospace-code/georinex/issues/117) but could not reproduce it a month later. I however found another bug when parsing IGS mixed navigation message. Add a case in...
I fail to read the combined Navigation Message created by the IGS with georinex (version 1.16.2). ```bash File "/.venv/lib/python3.12/site-packages/georinex/base.py", line 65, in load return rinexnav(rinexfn, outfn, use=use, tlim=tlim, overwrite=overwrite) ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
This PR adds full type checking for the SHA3 portable version for https://github.com/cryspen/libcrux/issues/395 Extract using `hax.py extract --portable`, prove using `hax.py prove`. Besides prove code the following things where changed:...
### Summary The current logic in [`Makefile.generic`](https://github.com/cryspen/libcrux/blob/main/fstar-helpers/Makefile.generic) for discovering F* libraries (specifically hax-lib) is problematic. It searches for F* modules everywhere, which results in multiple versions of hax-lib being found...
I am [working on](https://github.com/Parrot7483/libcrux/tree/sha3-lax-check) making the extracted F* from the libcrux-sha3 type-check using my fork of [hax](https://github.com/cryspen/hax/tree/parrot7483-develop). Currently I am facing an error which is probably a bug in HAX....
Currently, Sparrow Wallet creates a `.sparrow` directory directly inside the user's home directory on Linux. This directory contains databases, configuration, logs, and other files. Please update Sparrow Wallet to follow...