Alternatives and similar repositories for real_estate_crawling:

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

• philolo1 / bitvector
  This is the official repo for the paper "A General Framework for Dynamic Succinct and Compressed Data Structures."
  ☆12Updated 8 years ago
• mknyszek / rust-libquantum
  Rust bindings for libquantum
  ☆11Updated 7 years ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆10Updated last week
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• jilljenn / japan
  Guide à l'arrache pour le Japon
  ☆16Updated 2 years ago
• digama0 / lean-rs
  High level Lean 4 FFI for Rust
  ☆13Updated last year
• ammkrn / timelib
  A date and time library for Lean 4
  ☆11Updated 11 months ago
• lheckemann / undrv
  cursed
  ☆13Updated 2 years ago
• bluss / odds
  Odds and ends — collection miscellania. Extra functionality for slices, strings and other things
  ☆21Updated 4 years ago
• ncfavier / glam
  Polymorphic guarded λ-calculus
  ☆13Updated 4 months ago
• nixcon / nixcon-video-infra
  ☆16Updated 4 years ago
• ycrypto / nisty
  NIST P-256 signatures for Cortex-M4 microcontrollers
  ☆14Updated 4 years ago
• krtab / ssccpp
  The Simple Switch Cases Configuration PreProcessor
  ☆12Updated 5 years ago
• IPDSnelting / velcom
  Continuous benchmarking
  ☆16Updated this week
• sorear / smm
  sorear's Metamath system engine
  ☆13Updated 8 years ago
• dimtion / copiepate
  Send copy-pasting events over the network
  ☆13Updated 2 years ago
• edolstra / import-cargo
  A function for fetching the crates listed in a Cargo lock file
  ☆51Updated 2 years ago
• argumentcomputer / RustFFI.lean
  Template for Lean<->Rust FFI
  ☆11Updated last year
• MercuryTechnologies / bors-ng.nix
  Nix package and NixOS module for bors-ng
  ☆13Updated last year
• jvns / masters-thesis
  My master's thesis, on the algebra of topological quantum computing
  ☆21Updated 11 years ago
• jilljenn / tryalgo.org
  Les 128 algorithmes qu'il faut avoir codés et compris dans sa vie en Python.
  ☆22Updated 3 weeks ago
• 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
• SoftwareQuTech / CQC-Python
  The CQC library written in Python
  ☆21Updated 4 years ago
• draperlaboratory / ELFSage
  A toy ELF parser/validator
  ☆13Updated 3 months ago
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆33Updated this week
• koivunej / derive-into-owned
  Procedural macro for deriving helper methods for types with Cow fields
  ☆16Updated 10 months ago
• Byron / fs-utils-rs
  Utilities to help working with the filesytem
  ☆11Updated 4 years ago
• aashishsatya / Automatic-Theorem-Prover
  A Python program that tries to prove a statement given a set of propositions in first order logic.
  ☆10Updated 9 years ago
• ChangqingW / SeqSizzle
  ☆12Updated 3 months ago