Similar repositories to hbr/albatross:

• hbr/albatross github similar
• Eloston/ungoogled-chromium github similar
• danistefanovic/build-your-own-x github similar
• jaycech3n/Isabelle-HoTT github similar
• raphlinus/ghilbert github similar
• DeepTyper/DeepTyper github similar
• seL4/isabelle github similar
• jonsterling/JonPRL github similar
• trizen/sidef github similar
• vasil-sd/shen-libs github similar
• RedPRL/sml-redprl github similar
• tobbebex/GPipe-Core github similar
• ditto/ditto github similar
• wilbowma/cur github similar
• janestreet/ecaml github similar
• redguardtoo/elpa-mirror github similar
• Shen-Language/shen-sources github similar
• githwxi/ATS-Postiats github similar
• stp/stp github similar
• JakeWheat/intro_to_parsing github similar
• mortberg/cubicaltt github similar
• JetBrains/Arend github similar
• OpenIDC/pyoidc github similar
• serras/emacs-haskell-tutorial github similar
• oden-lang/oden github similar
• leanprover/lean github similar
• Malabarba/smart-mode-line github similar
• brownplt/pyret-lang github similar
• evincarofautumn/kitten github similar
• leanprover/lean4 github similar
• leanprover-community/mathlib github similar
• tensorflow/haskell github similar
• FStarLang/FStar github similar
• Fuco1/smartparens github similar
• jozefg/learn-tt github similar
• magnars/multiple-cursors.el github similar
• idris-lang/Idris-dev github similar
• coq/coq github similar
• Frege/frege github similar
• bbatsov/projectile github similar