🚆 Fine-grained analysis and visualization of Hangzhou Metro for efficient traveling in metro system. Project report, slide and presentation video included.
☆22May 3, 2020Updated 6 years ago
Alternatives and similar repositories for Meteor
Users that are interested in Meteor are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Unreal Engine plugin to load (precomputed) OpenStreetMap tiles☆15Jun 25, 2022Updated 4 years ago
- 💻 A 5-stage pipeline MIPS CPU design in Haskell.☆36Jul 2, 2020Updated 6 years ago
- 📚 A library for managing libraries and resolving unit paths☆17Jun 19, 2026Updated 3 months ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- ⚡ Bring some magic to i.sjtu.edu.cn☆22Jan 3, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- All-in-one mirror utility for SJTUG mirror☆53Sep 14, 2026Updated 3 weeks ago
- 🍎 Play Bad Apple! with Haskell☆15Jul 22, 2022Updated 4 years ago
- (Mirror) A Music formalization library and DSL in Lean 4☆23Aug 25, 2026Updated last month
- Course planning service for SJTU☆161May 27, 2025Updated last year
- 十分钟魔法练习☆51Jan 9, 2021Updated 5 years ago
- ☆10Jul 12, 2022Updated 4 years ago
- Contains implementation of the DoubIL and ResiduIL algorithms from the ICML '22 paper Causal Imitation Learning under Temporally Correlat…☆11Dec 9, 2022Updated 3 years ago
- RFCs for changes to TiKV and its ecosystem☆79Sep 14, 2026Updated 3 weeks ago
- Official code for the LoG2022 paper -- MSGNN: A Spectral Graph Neural Network Based on a Novel Magnetic Signed Laplacian.☆14Sep 3, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ✍️ The notes of courses in Shanghai Jiao Tong University☆179Sep 24, 2021Updated 5 years ago
- Crypto for Haskell☆37Jun 24, 2021Updated 5 years ago
- A simple AI agent controlling a simulation of a smart home☆14Jun 13, 2024Updated 2 years ago
- Backwards compatible callback APIs☆19Jun 9, 2020Updated 6 years ago
- 찾아서 공부하고 있는 ARM 어셈 튜토☆11Jan 26, 2022Updated 4 years ago
- Docker base images for C++ development using vcpkg☆10Oct 2, 2026Updated last week
- ☆17Oct 4, 2023Updated 3 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆19Aug 19, 2024Updated 2 years ago
- Rust bindings for CoreServices framework☆11Aug 13, 2024Updated 2 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.
- Game Engine by an ADHDer that will never be finished. Hopes that my Autism can fix this bug.☆11Jun 12, 2026Updated 3 months ago
- Kuwo music provider for FeelUOwn player☆13Jan 3, 2024Updated 2 years ago
- TiledKernel is a code generation library based on macro kernels and memory hierarchy graph data structure.☆19May 12, 2024Updated 2 years ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- PiKVM for orangepizero2☆22May 23, 2023Updated 3 years ago
- QQ 群验证机器人☆10Nov 9, 2021Updated 4 years ago
- 🔧 A go-written tool to do git operation with fastgit easily☆87Nov 26, 2022Updated 3 years ago
- cmake项目集成crashpad（win&mac平台）☆12May 11, 2024Updated 2 years ago
- A macro wrapping Rust closure calls that allows for capturing variables in scope on an individual bases.☆43Jun 4, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Code for the paper "Deep Partition Aggregation: Provable Defenses against General Poisoning Attacks"☆14Aug 22, 2022Updated 4 years ago
- ☆16Feb 18, 2025Updated last year
- KEALib provides an implementation of the GDAL data model. The format supports raster attribute tables, image pyramids, meta-data and in-b…☆15Jun 23, 2026Updated 3 months ago
- Fixpoint data types☆22Jan 2, 2026Updated 9 months ago
- Release of stream-specialization software/hardware stack.☆127May 5, 2023Updated 3 years ago
- Critic Guided Segmentation of Rewarding Objects in First-Person Views. Explanatory video:☆13May 21, 2022Updated 4 years ago
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆19Mar 29, 2023Updated 3 years ago