indoor localization demo with WIFI
☆13May 26, 2017Updated 9 years ago
Alternatives and similar repositories for WIFIDemo
Users that are interested in WIFIDemo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☕ 自制的 API☆16Dec 19, 2025Updated 10 months ago
- shiny中文教程☆12Sep 9, 2016Updated 10 years ago
- 🖼️ Upload an image, video or album to Imgur via the command line☆12Feb 5, 2024Updated 2 years ago
- HTMLie is a command line HTML Parser.☆13Aug 6, 2019Updated 7 years ago
- the solustion to https://openai.com/requests-for-research☆12Mar 23, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Display bing.com's daily wallpaper on new tabs as well as date and time☆12Apr 21, 2019Updated 7 years ago
- python lib for xmind☆10Nov 14, 2014Updated 11 years ago
- Everything you desire in the revolution of cryptocurrency.☆17Mar 9, 2018Updated 8 years ago
- ☆14Aug 12, 2018Updated 8 years ago
- A Notebook App on Ethereum Network☆11Feb 23, 2026Updated 8 months ago
- 高校教师性骚扰曝光信息☆13Jul 28, 2018Updated 8 years ago
- ☆14Sep 14, 2018Updated 8 years ago
- A comment system for static blog☆16May 27, 2020Updated 6 years ago
- Multi-Agent Systems Course 2017 - MSc Artificial Intelligence @ UvA☆18Dec 30, 2017Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 【CC-BY-4.0】2017年冬日，一場大火之後，北京開啟「安全隱患大排查、大清理、大整治專項行動」，藉機清退大量聚居在出租公寓、工業園區等地的外來務工人口。事發突然，波及數十個村鎮級單位，上百萬人。端傳媒與民間機構、學生志願者遠程合作，共同梳理出292條有效數據，整 理出…☆26May 8, 2018Updated 8 years ago
- ☆15Jul 9, 2026Updated 3 months ago
- Save My News: A personal, permanent clipping service☆29Oct 7, 2023Updated 3 years ago
- ☆12Oct 13, 2026Updated 2 weeks ago
- simple Elf disassembler☆11Dec 30, 2014Updated 11 years ago
- Android platform global night mode, is very simple, but powerful☆20Jun 26, 2022Updated 4 years ago
- LLVM's loop analysis theory (Scalar Evolution) formalized in Coq☆10Nov 17, 2018Updated 7 years ago
- Course material for "Automation of Logical Reasoning"☆10May 26, 2025Updated last year
- [ICML 2022] Official implementation of "Score-Guided Intermediate Layer Optimization: Fast Langevin Mixing for Inverse Problems".☆12Jul 19, 2022Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A python AI assistant. Uses SpeechRecognition module.☆10Sep 23, 2017Updated 9 years ago
- Textual UML modeling tool☆14Oct 11, 2015Updated 11 years ago
- ☆13Oct 25, 2026Updated last week
- VTable Hijacking Protection for Binaries☆12Feb 28, 2017Updated 9 years ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 9 years ago
- A fast, deterministic, non-cryptographic hash for use in hash tables for Rust☆15Jan 12, 2021Updated 5 years ago
- Boolean expression parser☆10Dec 19, 2022Updated 3 years ago
- A prototype SMT-solver for the theory of bit-vectors and uninterpreted functions.☆10Dec 10, 2023Updated 2 years ago
- A Docker image for running the ACL2 theorem proving system and books in JupyterLab.☆14Oct 18, 2026Updated 2 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆13Updated this week
- The CNPolitics Compilation is a quarterly publication, which is compiled from the archives of its website. 《政见合辑》是由政见网站内容重新编辑并整合而成的季度性电子出…☆21Feb 24, 2016Updated 10 years ago
- Tensorflow implementation of the paper "Fast Compressive Sensing Using Generative Model with Structed Latent Variables"☆10Apr 7, 2020Updated 6 years ago
- ☆30Dec 6, 2014Updated 11 years ago
- Korn - C Verification with Loop Invariants and Summaries☆12Oct 26, 2026Updated last week
- Unified Maude model-checking tool☆13Oct 18, 2026Updated 2 weeks ago
- Information geometry and its extension information topology☆11Dec 2, 2017Updated 8 years ago