🚆 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:
- Mr. Chi simulator!☆27Jul 24, 2020Updated 6 years ago
- 💻 A 5-stage pipeline MIPS CPU design in Haskell.☆36Jul 2, 2020Updated 6 years ago
- EncryptedClipboard☆13Sep 24, 2020Updated 6 years ago
- 🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.☆16Jul 13, 2020Updated 6 years ago
- Customize pixel streaming user interface, interactions and web server setting [SignallingWebServer directory]☆13Feb 5, 2019Updated 7 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.
- Uniform interface to reified data type information via Template Haskell☆20Jan 10, 2026Updated 9 months ago
- 非常实用的紧凑型切片服务器，支持PAK、ZIP格式，支持TMS、XYZ、3DTiles服务☆19Nov 8, 2022Updated 3 years ago
- ⚡ Bring some magic to i.sjtu.edu.cn☆22Jan 3, 2020Updated 6 years ago
- A git repo that is creepy☆15Sep 14, 2020Updated 6 years ago
- Course planning service for SJTU☆161May 27, 2025Updated last year
- Project for SJTU CS158 Data Structure(Honor) Spring 2020☆13Jun 2, 2020Updated 6 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
- ⛵ A distributed key-value store based on Raft. (WIP)☆45May 1, 2020Updated 6 years ago
- Sync your github forks without git.☆24May 6, 2026Updated 5 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆10Dec 7, 2024Updated last year
- Official code for the LoG2022 paper -- MSGNN: A Spectral Graph Neural Network Based on a Novel Magnetic Signed Laplacian.☆14Sep 3, 2026Updated last month
- Data structures and JSON serializer/deserializer for Jupyter notebooks (.ipynb) format.☆13Jan 27, 2022Updated 4 years ago
- Supports using Blueprint logic in Unreal Engine to write quest processes☆27Feb 24, 2024Updated 2 years ago
- Derive Template Haskell's Lift class for datatypes.☆13Jan 4, 2026Updated 9 months ago
- fast utf-8 character sets☆14Mar 3, 2025Updated last year
- (Mirror) A Music formalization library and DSL in Lean 4☆27Aug 25, 2026Updated 2 months ago
- ☆13Mar 28, 2025Updated last year
- Implementation of fast queue patterns (Push/Pull, request/reply, pub/sub, dealer/router) for C++☆16Oct 9, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- RFCs for changes to TiKV and its ecosystem☆79Sep 14, 2026Updated last month
- Library of useful Qt widgets. Contains double slider, progress bars, integer, double, string and date filters.☆35Jun 24, 2026Updated 4 months ago
- Crypto for Haskell☆37Jun 24, 2021Updated 5 years ago
- Framework for CAD/BIM plugin development☆33Updated this week
- Single file interpreter (or naive virtual machine) for my intermediate representation. SSA support has been added.☆15Apr 27, 2016Updated 10 years ago
- A plugin for Sketchup that adds a glue tab onto any boundary edge, for paper crafts☆12Mar 3, 2010Updated 16 years ago
- The offline version of acm-compiler-judge☆13May 16, 2019Updated 7 years ago
- 提供了基于Qt5的基础交互界面，方便快速建模并查看☆10May 23, 2021Updated 5 years ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Jun 1, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- osg+osgearth+cli+wpf☆10Oct 15, 2020Updated 6 years ago
- 解析DXF，通过three.js显示2D图；将传过来坐标显示在2D图上。☆11Sep 1, 2017Updated 9 years ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- occt opencascade qml Qt commandline linux windows android☆11Aug 24, 2021Updated 5 years ago
- QQ 群验证机器人☆10Nov 9, 2021Updated 4 years ago
- AIDL compiler for C++ on Linux Desktop☆13Aug 17, 2016Updated 10 years ago
- A compiler for course Compiler 2019☆16Jan 9, 2020Updated 6 years ago