🌈 BlueSense is a long-term project for monitoring Shanghai environment data.
☆26Jul 20, 2022Updated 3 years ago
Alternatives and similar repositories for BlueSense
Users that are interested in BlueSense are comparing it to the libraries listed below
Sorting:
- 💻 A 5-stage pipeline MIPS CPU design in Haskell.☆36Jul 2, 2020Updated 5 years ago
- 🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.☆16Jul 13, 2020Updated 5 years ago
- Mr. Chi simulator!☆26Jul 24, 2020Updated 5 years ago
- 🚆 Fine-grained analysis and visualization of Hangzhou Metro for efficient traveling in metro system. Project report, slide and presentat…☆22May 3, 2020Updated 5 years ago
- Homework of SJTU SE121: An LSM Tree KVStore System☆33Apr 18, 2020Updated 5 years ago
- Protobuf and gRPC service definition of treehole.space☆10Mar 27, 2022Updated 3 years ago
- EncryptedClipboard☆13Sep 24, 2020Updated 5 years ago
- HTTP Forward proxy for vpns.jlu.edu.cn☆15Jul 29, 2020Updated 5 years ago
- 📚 A library for managing libraries and resolving unit paths☆17Nov 21, 2025Updated 3 months ago
- 🍎 Play Bad Apple! with Haskell☆15Jul 22, 2022Updated 3 years ago
- Sampling based motion planning using PRM with bubbles of free configuration space.☆14Jul 14, 2015Updated 10 years ago
- Complementary material to EAAAI18 Paper "Mighty Thymio for Higher-Level Robotics Education"☆19May 30, 2023Updated 2 years ago
- ☆11Aug 27, 2025Updated 6 months ago
- 💻 A 5-stage pipeline MIPS CPU implementation in Verilog.☆34Jul 5, 2020Updated 5 years ago
- The codebase for DBSim☆16Mar 8, 2023Updated 2 years ago
- quotient types in cubical Agda☆24Feb 4, 2019Updated 7 years ago
- 在 Telegram 上快速模仿迟先生卖弱。☆10Oct 28, 2021Updated 4 years ago
- Uniform interface to reified data type information via Template Haskell☆20Jan 10, 2026Updated last month
- ⛵ A distributed key-value store based on Raft. (WIP)☆43May 1, 2020Updated 5 years ago
- All-in-one mirror utility for SJTUG mirror☆52Feb 3, 2026Updated 3 weeks ago
- bluetoothcar base on STM32F103VET6 use HAL,STM32CUBEMX☆10Apr 17, 2021Updated 4 years ago
- 十分钟魔法练习☆49Jan 9, 2021Updated 5 years ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- Alex Chi's personal site☆23Aug 17, 2025Updated 6 months ago
- A customizable reverse proxy with cache☆31Mar 25, 2023Updated 2 years ago
- A collection of PLT researching☆29Feb 21, 2025Updated last year
- 上海交通大学CSE 2019-2020第二学期课程笔记☆20Jul 1, 2020Updated 5 years ago
- The project now is moved to github.com/SJTU-IPADS/ServerlessBench. An open-sourced benchmark suite for serverless computing☆22May 20, 2022Updated 3 years ago
- A cross-platform network learning demos. Like high-performance http server☆25Apr 17, 2023Updated 2 years ago
- Coursework for Mathematics for Machine Learning (70015) at Imperial College London☆10Nov 12, 2024Updated last year
- Cocytus is an efficient and available in-memory K/V-store through hybrid erasure coding and replication☆31Mar 7, 2016Updated 9 years ago
- Crypto for Haskell☆37Jun 24, 2021Updated 4 years ago
- 迟先生语料库☆32May 20, 2021Updated 4 years ago
- 💻 RISC-V Simulator of RV32I ISA. 5-stage pipeline / out-of-order execution with Tomasulo algorithm and Speculation. Support runtime visu…☆208Jul 2, 2020Updated 5 years ago
- Autonomous Traversal and Object Detection for Rovers☆15Updated this week
- Holtek Cup 合泰杯单片机竞赛整理☆11Oct 24, 2019Updated 6 years ago
- Detect and reconstruct transparent objects from scan shadows☆10Sep 22, 2017Updated 8 years ago
- 基于 Ros2 Humble 的智能物流小车☆14Nov 4, 2023Updated 2 years ago
- ☆13Dec 16, 2022Updated 3 years ago