Alternatives and similar repositories for haskell-nmap

Users that are interested in haskell-nmap are comparing it to the libraries listed below

• kazu-yamamoto / http3
  HTTP/3 library in Haskell
  ☆70Updated last month
• haskell / win32
  Haskell support for the Win32 API
  ☆101Updated 6 months ago
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 4 years ago
• radareorg / r2wars
  Corewars but within r2
  ☆60Updated last year
• mpcsh / ForML
  Bachelor's thesis 2019
  ☆12Updated 2 years ago
• trailofbits / indurative
  Easily create authenticated data structures
  ☆43Updated 2 years ago
• jaspervdj / blaze-markup
  Core modules for a blazing fast markup combinator library
  ☆24Updated 7 months ago
• kowainik / smuggler
  🚣 Smuggle all imports
  ☆71Updated 5 years ago
• synacktiv / toy-wasm-symbexp
  A toy symbolic execution engine, supporting the blog article ...
  ☆18Updated 4 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆49Updated 2 years ago
• emilypi / group-theory
  The theory of groups
  ☆80Updated 2 years ago
• GaloisInc / elf-edit
  The elf-edit library provides a datatype suitable for reading and writing Elf files.
  ☆40Updated 4 months ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• ngzhian / ski
  SKI combinators
  ☆56Updated 8 years ago
• haskell / hackage-security
  Hackage security framework based on TUF (The Update Framework)
  ☆62Updated last week
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆27Updated 5 years ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆34Updated 2 months ago
• vmchale / dickinson
  Text generation language
  ☆34Updated 3 months ago
• nccgroup / dapr
  Driver Attack Platform for Linux
  ☆18Updated 2 years ago
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 10 months ago
• ocamllabs / focs-notebooks
  Foundations of Computer Science notebooks
  ☆17Updated 2 months ago
• windorg / app-old
  Social note-taking
  ☆28Updated 3 years ago
• tek / helic
  Clipboard synchronization tool
  ☆12Updated 3 weeks ago
• EarlGray / language-incubator
  Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
  ☆59Updated last year
• GaloisInc / surveyor
  A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
  ☆20Updated 4 years ago
• serokell / haskell-with-utf8
  Get your IO right on the first try
  ☆55Updated this week
• PaulGustafson / dcc
  Maximally decentralized cryptocurrency
  ☆20Updated 5 years ago
• jacereda / fsatrace
  Filesystem access tracer
  ☆86Updated last year
• unrooted / dotfiles
  personal dotfiles
  ☆15Updated 4 years ago
• utisss / UTCTF-19
  Source files and writeups for UTCTF 2019
  ☆14Updated 5 years ago