Parrot7483
Follow
-
geonss Public
A single-point positioning system for processing satellite data to compute positions, velocities, and clock biases, developed at the Technical University of Munich.
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedAug 11, 2025 -
-
georinex Public
Forked from geospace-code/georinexPython RINEX 2 / 3 NAV / OBS / sp3 reader & batch convert to HDF5 with C-like speed
Python MIT License UpdatedMay 8, 2025 -
filematch Public
Compares files between two directories by hash
-
PyCatan Public
Forked from jaumejordan/PyCatanA Settlers of Catan simulator for AI bots written in Python
-
-
FStar Public
Forked from FStarLang/FStarA Proof-oriented Programming Language
F* Apache License 2.0 UpdatedDec 16, 2024 -
-
karamel Public
Forked from FStarLang/karamelKaRaMeL is a tool for extracting low-level F* programs to readable C code
OCaml Apache License 2.0 UpdatedDec 2, 2024 -
hardened-tumbleweed Public
Forked from monsieuremre/hardened-tumbleweedHardening the security of an openSUSE Tumbleweed workstation in various ways as much as possible.
Shell GNU General Public License v3.0 UpdatedDec 24, 2023 -
-
baseconvert Public
A C++ library and command line utility to convert between arbitrary bases
-