Implementing a packet level software network load balancer
☆11Jun 13, 2018Updated 8 years ago
Alternatives and similar repositories for spike
Users that are interested in spike are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cluster management system for the SIPB Hyades project☆23Jul 4, 2022Updated 4 years ago
- Modeling I/O in Coq using free monads☆10Jul 27, 2018Updated 8 years ago
- CourseRoad is a four-year academic planner for undergraduates.☆62Apr 17, 2019Updated 7 years ago
- library to get information about devices from sysfs☆18Mar 3, 2015Updated 11 years ago
- Reflection library for Coq☆12Sep 26, 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.
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 3 years ago
- ☆11Jan 17, 2023Updated 3 years ago
- A safe & fast low-level language.☆13Mar 5, 2026Updated 7 months ago
- A multi-protocol curses IM client.☆50Aug 15, 2025Updated last year
- Go implementation of maglev hashing☆97Mar 11, 2023Updated 3 years ago
- An extension bringing the OpenAI, Anthropic and Gemini APIs to your fingertips inside of Visual Studio Code☆13Jan 31, 2026Updated 9 months ago
- ☆10Apr 26, 2026Updated 6 months ago
- ☆17Aug 15, 2018Updated 8 years ago
- A framework for extensible, reflective decision procedures.☆19Nov 25, 2019Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A simple, extensible, docker container and HTTP server for microservice-ing Python ML code.☆15Aug 19, 2018Updated 8 years ago
- Marching cubes algorithm implemented in #golang.☆13May 16, 2020Updated 6 years ago
- ☆15Jan 26, 2021Updated 5 years ago
- An itree-like data-structure to additionally support internal non-determinism☆23Updated this week
- Distributed Streaming Virtual Machine Introspection☆18Apr 23, 2015Updated 11 years ago
- A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…☆17Feb 7, 2024Updated 2 years ago
- A toolkit for web autonomy.☆21Jun 3, 2022Updated 4 years ago
- Staged programming for Rust. Write type-safe proc macros and high-level APIs that generate efficient code.☆24Oct 14, 2026Updated 3 weeks ago
- An open-source postflop solver library written in Rust☆16Jan 3, 2025Updated last year
- 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.
- Travel the world in AR☆11May 1, 2023Updated 3 years ago
- ☆12Dec 9, 2019Updated 6 years ago
- Maybe a maglev-alike someday☆19Sep 8, 2017Updated 9 years ago
- Steve McCanne's Sharkfest '21 Talk☆16Oct 12, 2021Updated 5 years ago
- Dynamic readme badges from your Buildkite build meta-data☆16Sep 13, 2021Updated 5 years ago
- ☆11Jun 7, 2024Updated 2 years ago
- Packaging metadata for OBS☆11Oct 18, 2026Updated 2 weeks ago
- https://pshyperv.codeplex.com/☆10Sep 3, 2014Updated 12 years ago
- Cryptographic matchmaking webapp☆12Sep 13, 2019Updated 7 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.
- A small but effective cutscene addon for the godot game engine☆13Apr 24, 2021Updated 5 years ago
- A Computer Vision Rep Counter☆11Sep 23, 2016Updated 10 years ago
- The Coq formalization of the paper Reasoning about the garden of forking paths.☆25Feb 7, 2025Updated last year
- A* pathfinding library for Minecraft☆10May 11, 2013Updated 13 years ago
- mod_asn, an Apache module to look up routing data.☆12Feb 23, 2017Updated 9 years ago
- Docker Shell CLI plugin☆10Updated this week
- Out-of-order speculative shell script execution.☆19Oct 5, 2026Updated 3 weeks ago