Alternatives and similar repositories for real_estate_crawling:

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

• ncfavier / glam
  Polymorphic guarded λ-calculus
  ☆13Updated 5 months ago
• jilljenn / voyageavecmoi
  ☆10Updated 9 years ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• krtab / ssccpp
  The Simple Switch Cases Configuration PreProcessor
  ☆12Updated 5 years ago
• erebe / systemd
  Haskell bindings for systemd
  ☆19Updated 9 months ago
• leanprover-community / leancrawler
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Updated last year
• ammkrn / timelib
  A date and time library for Lean 4
  ☆12Updated 2 weeks ago
• philolo1 / bitvector
  This is the official repo for the paper "A General Framework for Dynamic Succinct and Compressed Data Structures."
  ☆12Updated 8 years ago
• deepinthebuild / dedup
  A command-line tool for deduplicating entries in a file or stream.
  ☆15Updated 6 years ago
• nixcon / nixcon-video-infra
  ☆16Updated 4 years ago
• mknyszek / rust-libquantum
  Rust bindings for libquantum
  ☆11Updated 7 years ago
• kckennylau / mathlib4
  Unofficial repository for the experimental porting of mathlib into lean4
  ☆10Updated 4 years ago
• rocq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆14Updated last year
• hercules-ci / canonix
  Experiment in Nix formatting
  ☆22Updated 5 years ago
• zmitchell / polsim
  A command line utility for doing polarization simulations
  ☆17Updated 5 years ago
• NixOS / security
  ☆30Updated 8 years ago
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆22Updated 10 months ago
• wafflespeanut / nucleic-acid
  BWT, FM-index and bits vector for analyzing DNA sequence data.
  ☆17Updated 7 years ago
• numtide / action-cli
  GitHub Actions without JavaScript
  ☆19Updated 9 months ago
• deciduously / impact
  Slow-paced incremental game skeleton in Yew
  ☆12Updated 2 years ago
• PapenfussLab / bioshake
  Bioinformatics pipelines with Haskell and Shake
  ☆56Updated 5 years ago
• IPDSnelting / velcom
  Continuous benchmarking
  ☆17Updated last week
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆14Updated 4 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 years ago
• saleemrashid / sha2-const
  const fn implementation of the SHA-2 family of hash functions
  ☆15Updated last year
• emc2 / arith-encode
  Practical arithmetic encoding (aka Gödel numbering) library for Haskell.
  ☆10Updated 5 years ago
• wyager / CPU
  CPU Building Tutorial
  ☆51Updated 7 years ago
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆29Updated last year
• meithecatte / rustc-sat
  Makes rustc's exhaustiveness checker solve SAT problems
  ☆15Updated 3 years ago
• ImperialCollegeLondon / M1F-explained
  A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"
  ☆10Updated last year