Similar repositories to pharpend/tropical:

• pharpend/tropical github similar
• felipeZ/Haskell-abinitio github similar
• arthuraa/poleiro github similar
• cmeiklejohn/distributed-data-structures github similar
• CoqEAL/CoqEAL github similar
• coq-community/coq-ext-lib github similar
• coq-community/math-classes github similar
• jwiegley/coq-haskell github similar
• mstksg/auto github similar
• antalsz/hs-to-coq github similar
• antononcube/MathematicaForPrediction github similar
• jscoq/jscoq github similar
• HOL-Theorem-Prover/HOL github similar
• hzlmn/haskell-must-watch github similar
• google/codeworld github similar
• ekmett/lens github similar
• agda/agda github similar
• Gabriel439/post-rfc github similar
• sdiehl/write-you-a-haskell github similar
• idris-lang/Idris-dev github similar
• coq/coq github similar
• system-f/fp-course github similar
• facebook/Haxl github similar
• liuxinyu95/AlgoXY github similar
• PRML/PRMLT github similar
• jupyterhub/jupyterhub github similar
• Z3Prover/z3 github similar
• kanaka/mal github similar
• dunovank/jupyter-themes github similar
• jgm/pandoc github similar
• tldr-pages/tldr github similar
• 3b1b/manim github similar
• scikit-learn/scikit-learn github similar
• godotengine/godot github similar
• home-assistant/core github similar
• josephmisiti/awesome-machine-learning github similar
• keras-team/keras github similar
• tensorflow/models github similar
• jlevy/the-art-of-command-line github similar
• donnemartin/system-design-primer github similar