Skip to content

Instantly share code, notes, and snippets.

View saadmahboob's full-sized avatar

面白い saadmahboob

  • Planet Earth
View GitHub Profile
@andrewkamble88
andrewkamble88 / gsoc_2019.md
Last active February 18, 2025 03:08
GSoC 2019 : Expanding the receiver to BEIDOU B1C, Contribution to the GNSS-SDR platform

FRONTPAGE

Overview

This document provides a descrption of the work developed for GNSS-SDR during the Google Summer of Code 2019 program. This project intended to extend the capabilities of the GNSS-SDR software by providing implementation of BEIDOU B1C signals.

Team

Team Member Function
Andrew Kamble Developer
Damian Miralles Mentor
@saadmahboob
saadmahboob / INSTALL-Z3-4.0.md
Created September 18, 2017 23:03 — forked from mn200/INSTALL-Z3-4.0.md
How to install Z3 4.0 on Linux

Installing Z3 version 4.0

  1. Download and unpack tar-ball from MSR download site.

  2. Run the z3 executable in z3/bin. Simple!

@jasonrudolph
jasonrudolph / 00-about-search-api-examples.md
Last active January 3, 2025 03:54
5 entertaining things you can find with the GitHub Search API