Computer Networks, CSE@CUHK, taught by Hong Xu
☆56Nov 25, 2025Updated 7 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:
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆11Aug 8, 2025Updated 11 months ago
- slides of zju-lambda☆14Feb 9, 2019Updated 7 years ago
- A QASM interpreter and quantum simulator in Rust☆28Aug 8, 2024Updated last year
- WebAssembly Lightweight RUntime☆75Jul 1, 2026Updated last week
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆41Aug 30, 2022Updated 3 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.
- A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...☆49Jun 20, 2023Updated 3 years ago
- A compile time sized array of bits☆12Aug 15, 2021Updated 4 years ago
- VaniSSH is a simple tool for generating vanity SSH public keys that start, contain, or end with specified strings.☆19Sep 21, 2025Updated 9 months ago
- Inserting elements into this map yields a persistent, type-safe Index to that new element.☆13Oct 15, 2018Updated 7 years ago
- 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
- Rust binding for SLEEF: SIMD Library for Evaluating Elementary Functions☆18Apr 30, 2023Updated 3 years ago
- Implementation of a slotmap☆11Nov 24, 2025Updated 7 months ago
- Converts cargo check (and clippy) JSON output to the GitHub Action error format☆15Jun 17, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- micro RPC framework (WIP and experimental)☆14Jun 26, 2021Updated 5 years ago
- Tiny dynamic dispatch in Rust☆10Apr 17, 2023Updated 3 years ago
- Lightweight async PubSub framework☆13Aug 24, 2023Updated 2 years ago
- #[derive(Future, Stream, Sink, AsyncRead, AsyncWrite, AsyncSeek, AsyncBufRead)] for enums.☆18Updated this week
- QuickJs based wrapper generator for WASM components in written in JavaScript☆18Updated this week
- ☆13Aug 18, 2022Updated 3 years ago
- Concurrent heap-based priority queue.☆13Feb 19, 2021Updated 5 years ago
- Rapid Blockchain Prototypes for Rust☆15Feb 27, 2026Updated 4 months ago
- A Rust library for using Linux devicemapper☆81Jul 1, 2026Updated last week
- 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.
- BufReader adapter for nom parsers☆14Mar 19, 2023Updated 3 years ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆57May 28, 2020Updated 6 years ago
- An SCTP implementation for WebRTC Data Channels☆33Jul 1, 2026Updated last week
- 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
- ☆13Jun 19, 2026Updated 3 weeks ago
- Convert ELF object files to DJGPP COFF-GO32 objects☆15Apr 16, 2024Updated 2 years ago
- A helper library to generate complex and nested structures by a simple macro☆14Updated this week
- 100% legal, FOSS reimplementation of Cubism Core☆14Mar 9, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- libzfs binding for Java☆12Feb 4, 2020Updated 6 years ago
- AngelScript JIT via C→MIR conversion☆27Sep 16, 2025Updated 9 months ago
- Redis-like In-Memory DB Embedded in Postgres☆28Jun 10, 2025Updated last year
- SonarQube plugin for the D programming language☆10Dec 13, 2018Updated 7 years ago
- Experimenting with ergonomic dyn types☆29Dec 6, 2021Updated 4 years ago
- A meta repo for gathering all the necessary components for running (and releasing) a vaccel environment☆11Jan 19, 2023Updated 3 years ago
- TereStun — STUN over Teredo☆16Jan 20, 2023Updated 3 years ago