Alternatives and similar repositories for real_estate_crawling

Users that are interested in real_estate_crawling are comparing it to the libraries listed below

• jilljenn / voyageavecmoi
  ☆10Updated 10 years ago
• mangaki / movielens
  Système de recommandation minimal sur Movielens (pour Girls Can Code! 2016)
  ☆17Updated 8 months ago
• krtab / ssccpp
  The Simple Switch Cases Configuration PreProcessor
  ☆12Updated 5 years ago
• draperlaboratory / ELFSage
  A toy ELF parser/validator
  ☆15Updated last year
• picnoir / nix-dissector
  Wireshark dissector for the Nix daemon protocol.
  ☆13Updated 4 months ago
• leanprover / velcom
  Continuous benchmarking
  ☆19Updated last week
• erebe / systemd
  Haskell bindings for systemd
  ☆20Updated last year
• thejohncrafter / nixos-harden-systemd
  Discover the Best Hardening Options for Systemd Services in NixOS
  ☆26Updated 3 years ago
• 9999years / git-gr
  A Gerrit CLI
  ☆18Updated 7 months ago
• wyager / CPU
  CPU Building Tutorial
  ☆51Updated 8 years ago
• Inria-Prosecco / StarMalloc
  A verified, modern, hardened memory allocator. [maintainer=@cmovcc]
  ☆43Updated last week
• ncfavier / glam
  Polymorphic guarded λ-calculus
  ☆23Updated 6 months ago
• grahamc / r13y.com
  NixOS Reproducibility Checker
  ☆98Updated 3 years ago
• Rust-for-Linux / nix
  Efforts for packaging the Rust for Linux project with the Nix package manager
  ☆58Updated 11 months ago
• delroth / grep-nixos-cache
  Finds strings in a large list of cached NixOS store paths
  ☆26Updated last year
• rti / nixwrap
  Easy Application Sandboxing on NixOS
  ☆63Updated 3 months ago
• NixOS / release-wiki
  ☆25Updated 2 months ago
• NixOS / security
  ☆28Updated 8 years ago
• Kha / nixprof
  A Nix build graph profiler
  ☆37Updated 5 months ago
• b-mehta / combinatorics
  ☆24Updated 3 years ago
• thkukuk / account-utils
  The account-utils package contains services, utilities and PAM modules, which allow authentication and account management on systems with…
  ☆22Updated this week
• numtide / nix-stdlib
  experimental nix prelude
  ☆28Updated 2 years ago
• nlewo / hydra-cli
  A client for the Hydra Nix CI
  ☆48Updated last year
• kushti / flp
  Formalization of FLP Impossibility Theorem
  ☆18Updated 10 years ago
• sdiehl / elliptic-curve
  A polymorphic interface for elliptic curve operations
  ☆43Updated 2 years ago
• JohnCremona / eclib
  The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…
  ☆28Updated 2 months ago
• lheckemann / undrv
  cursed
  ☆14Updated 2 years ago
• darnuria / kitty-lang
  An other toy compiler in Ocaml, made with Menhir and Ocamlex for 3I018 compilation course at university
  ☆10Updated 7 years ago
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆27Updated 2 months ago
• prologin / camisole
  ☆71Updated 2 years ago