Similar repositories to evertedsphere/noether:

• evertedsphere/noether github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• mstksg/emd github similar
• hecrj/iced github similar
• mikeizbicki/homoiconic github similar
• jwiegley/haskell-to-c github similar
• benjaminselfridge/logix github similar
• Lemmih/fvg github similar
• ekmett/lens-constraints github similar
• ezyang/reflex-backpack github similar
• andrewthad/torsor github similar
• LightAndLight/parametricity-proofs github similar
• schrammc/mnist-idx github similar
• tmcdonell/Lol-accelerate github similar
• teh/gluon github similar
• np/strict-io github similar
• ocramz/matrix-market-attoparsec github similar
• minad/tasty-stats github similar
• tweag/rules_haskell_examples github similar
• mathandley/RTick github similar
• meilisearch/MeiliSearch github similar
• mpickering/plugin-constraint github similar
• tootsuite/mastodon github similar
• cocreature/zkboo-hs github similar
• haskell-numerics/hmatrix-sundials github similar
• ocramz/trie-perf github similar
• taktoa/ghcjs-electron github similar
• GaloisInc/simple-tar github similar
• glutamate/datasets github similar
• merijn/timeit github similar
• conal/linear-map-gadt github similar
• yav/presburger github similar
• GaloisInc/cryfsm github similar
• phadej/tdigest github similar
• ekmett/linear-accelerate github similar
• esapulkkinen/cifl-math-library github similar
• ttuegel/statistical-elements github similar
• dpiponi/provability github similar
• csabahruska/game-logic-experiment github similar