Similar repositories to alex-mckenna/optimum:

• gibiansky/IHaskell github similar
• alex-mckenna/optimum github similar
• mathandley/RTick github similar
• inanna-malick/hgit github similar
• minad/tasty-stats github similar
• danistefanovic/build-your-own-x github similar
• Lysxia/coq-recursion-schemes github similar
• mstksg/wavelets github similar
• tootsuite/mastodon github similar
• MaiaVictor/formality-agda-lib-legacy github similar
• ori-sky/hs-etch github similar
• exosphere-lang/compiler github similar
• LightAndLight/closure github similar
• erikd/wide-word github similar
• andrewthad/torsor github similar
• DataHaskell/analyze github similar
• ekmett/distrust github similar
• anniecherk/sweetpea-core github similar
• lthms/chain github similar
• mstksg/emd github similar
• emilypi/system-process github similar
• sjsch/named-sop github similar
• ttuegel/pipes-ghc-events github similar
• cmk/rings github similar
• robinp/align github similar
• andpic/amsla github similar
• qfpl/dollaridoos github similar
• jwiegley/zomega github similar
• justinwoo/purescript-mochi github similar
• ekmett/monad-ran github similar
• haskell-numerics/hmatrix-sundials github similar
• lehins/MonadicParty2019 github similar
• bachirelkhadir/Convex-Quaternary-Quartics-Are-Sum-of-Squares github similar
• bedrocksystems/cpp2v github similar
• Twey/agda-imp github similar
• conal/agda-fft github similar
• Stiivi/StructuredQuery github similar
• GaloisInc/cryptol-verifier github similar
• ezyang/backpack-examples github similar
• robinvd/rlang github similar