Alternatives and similar repositories for zulip-archive:

Users that are interested in zulip-archive are comparing it to the libraries listed below

• leanprover-community / leanprover-community.github.io
  Hosts the website for mathlib and other Lean community infrastructure.
  ☆62Updated this week
• zulip / zulint
  A lightweight linting framework designed for complex applications using a mix of third-party linters and custom rules.
  ☆24Updated 6 months ago
• nix-community / builtwithnix.org
  Share the love of Nix [maintainer=@zimbatm]
  ☆44Updated 11 months ago
• purarue / exobrain
  something like a public wiki, - a place to store notes, ideas, blogposts, photography, or writing
  ☆19Updated this week
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• jgm / doclayout
  A prettyprinting library designed for laying out plain text documents
  ☆23Updated 7 months ago
• infinisil / nixbot
  ☆25Updated 3 years ago
• breck7 / leafdb.org
  A public domain database about trees.
  ☆16Updated last year
• replit / nixpkgs-replit
  ☆25Updated this week
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆22Updated last year
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 5 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 4 months ago
• nix-community / nix-snippets
  Nix Snippets: Curated, simple, fun examples of the Nix Expression Language [maintainer=]
  ☆15Updated 3 years ago
• NixOS / rfc-steering-committee
  Workflows and notes from Nix steering committee
  ☆11Updated 4 months ago
• emilkarlen / exactly
  Exactly - tests a command line program by executing it in a temporary sandbox directory and inspecting its result.
  ☆36Updated last year
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 5 years ago
• tree-sitter / tree-sitter.github.io
  Source HTML for the Tree-sitter organization site
  ☆19Updated 2 months ago
• garnix-io / issues
  Public issue tracker for garnix.io
  ☆15Updated 3 years ago
• hercules-ci / canonix
  Experiment in Nix formatting
  ☆21Updated 5 years ago
• nomeata / git-multisect
  find git commits that matter
  ☆52Updated last year
• pypa / integration-test
  ensure core packaging tools work well with each other
  ☆19Updated 6 years ago
• rfindler / modern-macros-talk
  ☆14Updated 2 years ago
• shlevy / long-shebang
  A tool for #! scripts with more than one argument
  ☆42Updated 8 years ago
• jgm / commonmark-hs
  Pure Haskell commonmark parsing library, designed to be flexible and extensible
  ☆141Updated 3 weeks ago
• w3c / guide
  The Guidebook is the collected wisdom of the W3C Group Chairs, team contacts and other contributors.
  ☆37Updated last week
• zulip / github-actions-zulip
  A collection of GitHub Actions to interact with Zulip.
  ☆26Updated last year
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆11Updated 7 years ago
• rpearce / bashcards
  Practice flashcards in your terminal
  ☆13Updated 2 years ago
• ocapn / syrup
  Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.
  ☆26Updated 11 months ago
• karlicoss / bleanser
  Tool for cleaning old and redundant backups
  ☆13Updated 2 months ago