HaNS
Network protocol simulator
A set of network stack examples in Haskell designed to test and demonstrate various network protocols.
The haskell network stack
115 stars
42 watching
14 forks
Language: Haskell
last commit: over 8 years agoRelated projects:
| Repository | Description | Stars |
|---|---|---|
| galoisinc/haskell-tor | A Haskell implementation of the Tor onion routing network protocol | 273 |
 haskell/network | Provides a low-level networking interface in Haskell | 329 |
 hewlettpackard/packetrusher | A tool for simulating and testing 5G networks and their performance | 120 |
 secureworks/flowsynth | A tool for modeling and generating network traffic from descriptive syntax. | 195 |
 ian-kent/linkio | Software library to simulate network connections of varying speeds. | 53 |
 y123456yz/reading-and-comprehense-linux-kernel-network-protocol-stack | An in-depth analysis and annotation of the Linux kernel network protocol stack | 1,223 |
 canndrew/netsim | A Rust library for simulating networks to test network-oriented code | 142 |
 jjschwartz/networkattacksimulator | An environment for testing AI agents against a simulated network | 171 |
| galoisinc/cryptol | An interpreter for a public standard language for specifying cryptographic algorithms | 1,139 |
 alphasoc/flightsim | A utility to generate malicious network traffic patterns and evaluate security controls. | 1,271 |
 mailhog/smtp | An SMTP state machine implemented in Go. | 75 |
| haskell/lsp | A Haskell implementation of the Microsoft Language Server Protocol | 371 |
 billpmurphy/hask | A Python library that mimics key features of the Haskell programming language. | 862 |
 provos/honeyd | A tool for creating and managing synthetic network hosts to simulate various network conditions and test security systems. | 11 |
 soupi/rfc | A collection of resources and documentation on Haskell programming language and learning it | 149 |