Similar repositories to alexpatel/lean-ex:

• alexpatel/lean-ex github similar
• 0xpr/lean_tutorial github similar
• argumatronic/haskell-book-exercises github similar
• robkorn/theorem-proving-in-lean-exercises github similar
• smucode/exercism-elm github similar
• suryaajha/Python-CP github similar
• presnick/ProgramsInformationPeople github similar
• hinrik/perl6-doc github similar
• masak/git-workflows github similar
• youfoundron/clojure-koans-solutions github similar
• open-risk/open_risk_taxonomy github similar
• lepinekong/readablehumanformat github similar
• bradlucas/sorting github similar
• trizen/perl6-rosettacode github similar
• conanite/nydp github similar
• w3ntao/sicp-solution github similar
• frankiesardo/sicp-in-clojure github similar
• rishi772001/Competetive-programming github similar
• dwayne/eopl3 github similar
• moon6pence/Euler.jl github similar
• armando-fandango/Python-Data-Analysis github similar
• mbudde/jana github similar
• jonathanchapmanmoore/Programming-Language-Pragmatics github similar
• mflatt/macro-dsl-tutorial github similar
• rm-hull/project-euler github similar
• ParaPhraseAGH/erlang-emas github similar
• amedama41/okasaki github similar
• jpoirier/algorithms github similar
• eswar3/Zillow-prediction-models github similar
• pixel/syntax-across-languages-and-more github similar
• uroboros/haskell_design_patterns github similar
• webcpu/HaskellRed github similar
• Zettelkasten-Method/ba-zettelkasten-justice-for-hedgehogs github similar
• valeria-io/bias-in-credit-models github similar
• jonathandunn/c2xg github similar
• freenetwork/investing.com.economic-calendar github similar
• tonyg/racket-monad github similar
• nathaneastwood/euler github similar
• tqi2/modeleval github similar
• prisma-archive/gcl github similar