Computer Networks, CSE@CUHK, taught by Hong Xu
☆56Nov 25, 2025Updated 6 months ago
Alternatives and similar repositories for CSCI4430
Users that are interested in CSCI4430 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆31Mar 9, 2026Updated 2 months ago
- ☆13Aug 2, 2023Updated 2 years ago
- DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols☆17Jan 1, 2022Updated 4 years ago
- Mining Network Specifications from Network Configurations☆36Nov 20, 2020Updated 5 years ago
- Books on programming language theory and linguistics in general.☆55Jul 16, 2021Updated 4 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.
- Collection of scripts used for BlueField SoC system management.☆31Apr 9, 2026Updated last month
- Oort: Efficient Federated Learning via Guided Participant Selection☆135Oct 27, 2021Updated 4 years ago
- slides of zju-lambda☆14Feb 9, 2019Updated 7 years ago
- Disaggregated APIs for SONiC Hosts☆102May 20, 2026Updated last week
- Probabilistic Computer Network Analysis☆20Dec 8, 2018Updated 7 years ago
- A tool for generation of synthetic classification rule sets for benchmarking.☆27Oct 2, 2021Updated 4 years ago
- Table-Driven Interface (TDI) for a P4-programmable backend device.☆41Jan 27, 2025Updated last year
- Code for my publication: F. B. Mismar and B. L. Evans, "Deep Learning in Downlink Coordinated Multipoint in New Radio Heterogeneous Netwo…☆25Oct 9, 2019Updated 6 years ago
- ☆20Mar 10, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An arbitrary-precision differentiable programming language.☆36Jul 7, 2023Updated 2 years ago
- mirror of A simple type-theoretic language: Mini-TT☆41Feb 15, 2017Updated 9 years ago
- MoCHi: Model Checker for Higher-Order Programs☆43Apr 19, 2025Updated last year
- A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...☆49Jun 20, 2023Updated 2 years ago
- A repository containing project info, scripts, and configs for building SRv6 test topologies☆72May 9, 2026Updated 3 weeks ago
- VaniSSH is a simple tool for generating vanity SSH public keys that start, contain, or end with specified strings.☆19Sep 21, 2025Updated 8 months ago
- Experimental implementation of the Distributed Aggregation Protocol (DAP) specification.☆68May 22, 2026Updated last week
- Unix domain sockets for Tokio...on Windows!☆14Sep 28, 2022Updated 3 years ago
- The virtual console embedded in rCore kernel.☆11May 6, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Source Code of GraRep☆52Feb 22, 2018Updated 8 years ago
- Implementation of a slotmap☆10Nov 24, 2025Updated 6 months ago
- Open Traffic Generator Core Models☆82Updated this week
- Converts cargo check (and clippy) JSON output to the GitHub Action error format☆15Jun 17, 2024Updated last year
- micro RPC framework (WIP and experimental)☆14Jun 26, 2021Updated 4 years ago
- Lightweight async PubSub framework☆13Aug 24, 2023Updated 2 years ago
- QuickJs based wrapper generator for WASM components in written in JavaScript☆19Updated this week
- ☆13Aug 18, 2022Updated 3 years ago
- Concurrent heap-based priority queue.☆13Feb 19, 2021Updated 5 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.
- Rapid Blockchain Prototypes for Rust☆15Feb 27, 2026Updated 3 months ago
- BufReader adapter for nom parsers☆13Mar 19, 2023Updated 3 years ago
- Hindley-Milner type inference using constraints☆50Mar 22, 2026Updated 2 months ago
- A rust implementation of octree and quadtree datastructures for realtime applications☆20Feb 10, 2026Updated 3 months ago
- Derive your Attribute Parsers☆13May 1, 2023Updated 3 years ago
- Convert option-object style vue component to typescript class component☆12Feb 3, 2023Updated 3 years ago
- websocket tcp/udp proxy (based on websockify-c)☆14Oct 6, 2017Updated 8 years ago