a naive static http server that solves C10K problem
☆17Jan 8, 2017Updated 9 years ago
Alternatives and similar repositories for naughttpd
Users that are interested in naughttpd are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A C compiler with SSA-based backend optimzation☆15Mar 19, 2016Updated 10 years ago
- A method for training neural networks that are provably robust to adversarial attacks. [IJCAI 2019]☆10Sep 3, 2019Updated 6 years ago
- Team: bacon-reloaded☆21May 22, 2017Updated 9 years ago
- Ray Tracing☆21Apr 6, 2017Updated 9 years ago
- ☆11Oct 18, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- This repository's aim is to show how extern functions should be implemented☆14Jan 11, 2019Updated 7 years ago
- ☆14Jul 20, 2017Updated 8 years ago
- DevComm-Shanghai Weekly 上海地区高校技术社团联合周报（欢迎投稿）☆66Jun 23, 2026Updated last week
- High-performance key-value store☆12Dec 31, 2018Updated 7 years ago
- High quality and composable RTL libraries in SystemVerilog☆36Updated this week
- MOOC & Open Source Group☆19Apr 1, 2018Updated 8 years ago
- yet another reinforcement learning package☆12May 24, 2022Updated 4 years ago
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆18Aug 9, 2018Updated 7 years ago
- Code for paper "Poisoned classifiers are not only backdoored, they are fundamentally broken"☆26Jan 7, 2022Updated 4 years 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.
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- 上海地区高校技术团体组成的名字待定的团体☆52Jul 18, 2019Updated 6 years ago
- Convert an integer factorization problem into a boolean SATISFIABILITY problem.☆10Jan 14, 2019Updated 7 years ago
- An Automated Performance Optimization Framework for P4-Programmable SmartNICs☆28Nov 18, 2023Updated 2 years ago
- Winner of NeurIPS 2021 student leaderboard. Self-bootstrapping bayesian optimization for SCIP configuration using GNNs.☆14Oct 28, 2022Updated 3 years ago
- Some things that live in ~/ at my machines☆13Oct 23, 2017Updated 8 years ago
- ☆11Mar 26, 2020Updated 6 years ago
- Firmion is DSL and engine for firmware image generation.☆15Jun 1, 2026Updated last month
- My Cornell PhD dissertation: Scaling the Infrastructure of Practical Blockchain Systems☆15Sep 10, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An experimental project to bring MLIR to P4C.☆14Jun 22, 2026Updated last week
- Serverless ML Framework☆22Mar 29, 2022Updated 4 years ago
- Generating P4 Code for the Application Layer☆15Sep 27, 2023Updated 2 years ago
- Index web site for reproduced papers☆16Mar 31, 2021Updated 5 years ago
- MuSim - The Microservices simulator☆13Feb 2, 2016Updated 10 years ago
- Ideas for P4 Projects.☆15Sep 18, 2024Updated last year
- Implementation of the Snappy compression algorithm as a RoCC accelerator☆12Jul 29, 2019Updated 6 years ago
- A basic Docker-based installation of TVM☆11Jun 23, 2022Updated 4 years ago
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated last year
- 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.
- AI Accelerators-SC23-tutorial Repository☆12Nov 12, 2023Updated 2 years ago
- Reducing P4 Language’s Voluminosity using Higher-Level Constructs☆15Oct 15, 2022Updated 3 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Dec 21, 2022Updated 3 years ago
- Unsupervised 3D registration through cyclical self-training☆16Jun 30, 2023Updated 3 years ago
- ☆82Jan 5, 2025Updated last year
- ☆14May 15, 2023Updated 3 years ago
- Barnes-Hut n-body simulation with WASM☆19Sep 20, 2018Updated 7 years ago