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
16 forks
Language: Haskell
last commit: almost 7 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
| galoisinc/haskell-tor | A Haskell implementation of the Tor onion routing network protocol | 272 |
 haskell/network | Provides a low-level networking interface in Haskell | 327 |
 hewlettpackard/packetrusher | A tool for simulating and testing 5G networks and their performance | 116 |
 secureworks/flowsynth | A tool for modeling and generating network traffic from descriptive syntax. | 193 |
 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,212 |
 canndrew/netsim | A Rust library for simulating networks to test network-oriented code | 142 |
 jjschwartz/networkattacksimulator | A simulated network environment for testing AI-powered security systems | 169 |
| galoisinc/cryptol | An interpreter for a public standard language for specifying cryptographic algorithms | 1,136 |
 alphasoc/flightsim | A utility to generate malicious network traffic patterns and evaluate security controls. | 1,260 |
 mailhog/smtp | An SMTP state machine implemented in Go. | 74 |
| haskell/lsp | A Haskell implementation of the Microsoft Language Server Protocol | 366 |
 billpmurphy/hask | A Python library that mimics key features of the Haskell programming language. | 860 |
 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 | 148 |