Similar repositories to agentultra/lean-for-hackers:

• agentultra/lean-for-hackers github similar
• danistefanovic/build-your-own-x github similar
• Eloston/ungoogled-chromium github similar
• tuvtran/project-based-learning github similar
• tootsuite/mastodon github similar
• GamestonkTerminal/GamestonkTerminal github similar
• haskell-hvr/cabal-parsers github similar
• kbuzzard/lean4-filters github similar
• thalesant/formalabstracts-2018 github similar
• TwoFX/lean-homological-algebra github similar
• JonasDuregard/sized-functors github similar
• htzh/leanproved github similar
• leanprover-community/lean-client-python github similar
• ImperialCollegeLondon/Example-Lean-Projects github similar
• rwbarton/lean-homotopy-theory github similar
• aquynh/capstone github similar
• hecrj/iced github similar
• gibiansky/IHaskell github similar
• k6io/k6 github similar
• rwbarton/lean-elementary-number-theory github similar
• wardi/bar_foo github similar
• patmorin/alphapop github similar
• janmagnet/vala-playground github similar
• eugeneia/mr.gy github similar
• lspitzner/exference-paper github similar
• rntz/curry-howard-slides github similar
• kimburgess/simple.industries github similar
• porterjamesj/resume github similar
• lise-henry/lise-henry.github.io github similar
• kosinix/raster-cli github similar
• abits/hugo-tufte github similar
• adelbertc/adelbertc.github.io github similar
• joonwonc/joonwonc.github.io github similar
• imbaczek/organize-by-mtime github similar
• mchaver/mchaver.com github similar
• wasamasa/openchaos-2017-06 github similar
• syunta/Scheme-hs github similar
• BigDataRepublic/hanon github similar
• tlvince/tlvince.com github similar
• mishajw/brumhack4 github similar