Similar repositories to konn/equational-reasoning-in-haskell:

• konn/equational-reasoning-in-haskell github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• tootsuite/mastodon github similar
• ekmett/monad-ran github similar
• kwf/Presburger github similar
• keera-studios/haskell-titan github similar
• evincarofautumn/hap-hs github similar
• VictorCMiraldo/generics-mrsop github similar
• bgamari/the-thoralf-plugin github similar
• ocharles/logging-effect github similar
• DanielSchuessler/th-expand-syns github similar
• phadej/idioms-plugins github similar
• djv/VisualProf github similar
• RobertHarper/hott-notes github similar
• peti/hsyslog github similar
• ttuegel/autonix-deps github similar
• jtobin/flat-mcmc github similar
• nachivpn/nbe-edsl github similar
• LightAndLight/parametricity-proofs github similar
• clash-lang/ghc-typelits-knownnat github similar
• clash-lang/ghc-typelits-natnormalise github similar
• ocharles/ghc-nix github similar
• meilisearch/MeiliSearch github similar
• Eugeny/terminus github similar
• hecrj/iced github similar
• pixijs/pixi.js github similar
• mstksg/wavelets github similar
• nomeata/ghc-proofs github similar
• konn/computational-algebra github similar
• ocharles/transformers-eff github similar
• mniip/yoctoparsec github similar
• parsonsmatt/beginner-error-messages github similar
• jwiegley/coq-haskell github similar
• blamario/monoid-subclasses github similar
• ekmett/constraints github similar
• isovector/wide-open-world github similar
• AshleyYakeley/countable github similar
• haskellari/tree-diff github similar
• diagrams/monoid-extras github similar