Alternatives and similar repositories for real_estate_crawling

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

• draperlaboratory / ELFSage
  A toy ELF parser/validator
  ☆14Updated 7 months ago
• mangaki / movielens
  Système de recommandation minimal sur Movielens (pour Girls Can Code! 2016)
  ☆17Updated last month
• IPDSnelting / velcom
  Continuous benchmarking
  ☆18Updated 3 weeks ago
• MercuryTechnologies / bors-ng.nix
  Nix package and NixOS module for bors-ng
  ☆13Updated 2 years ago
• krtab / ssccpp
  The Simple Switch Cases Configuration PreProcessor
  ☆12Updated 5 years ago
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆23Updated last year
• nixcon / nixcon-video-infra
  ☆16Updated 4 years ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• ncfavier / glam
  Polymorphic guarded λ-calculus
  ☆17Updated this week
• Kha / nixprof
  A Nix build graph profiler
  ☆32Updated 2 months ago
• yvan-sraka / contracts
  ☆24Updated last year
• leanprover-community / leancrawler
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Updated last year
• picnoir / nix-dissector
  Wireshark dissector for the Nix daemon protocol.
  ☆12Updated last year
• lheckemann / undrv
  cursed
  ☆13Updated 2 years ago
• grahamc / r13y.com
  NixOS Reproducibility Checker
  ☆99Updated 2 years ago
• darnuria / kitty-lang
  An other toy compiler in Ocaml, made with Menhir and Ocamlex for 3I018 compilation course at university
  ☆11Updated 6 years ago
• ammkrn / timelib
  A date and time library for Lean 4
  ☆12Updated 3 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆72Updated last month
• cyberus-technology / usbvfiod
  A tool for USB device pass-through using the vfio-user protocol.
  ☆15Updated this week
• ari-language / ari
  A type-centred purely functional programming language designed to type binary files. Mirror of code maintained at gitlab.com.
  ☆14Updated last year
• TravisWhitaker / nix-quartus
  Nix Expressions for Altera(Intel) Quartus
  ☆16Updated 4 years ago
• Inria-Prosecco / StarMalloc
  A verified, modern, hardened memory allocator. [maintainer=@cmovcc]
  ☆30Updated last week
• yvan-sraka / hs-bindgen
  Handy macro to generate C-FFI bindings to Rust for Haskell
  ☆69Updated this week
• FormalSAT / trestle
  ☆21Updated last week
• uds-psl / coq-library-complexity
  ☆31Updated 2 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• nlewo / hydra-cli
  A client for the Hydra Nix CI
  ☆46Updated 11 months ago
• edolstra / nix-make
  Experimental Nix build management stuff
  ☆23Updated 13 years ago
• 9999years / git-gr
  A Gerrit CLI
  ☆18Updated 3 weeks ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆165Updated 3 weeks ago