Similar repositories to wouter-swierstra/predicate-transformers:

• wouter-swierstra/predicate-transformers github similar
• danistefanovic/build-your-own-x github similar
• phadej/lens-laws github similar
• AlacrisIO/bdao github similar
• dvejmz/headergenerator github similar
• andreasabel/shift-reset-dsl github similar
• inanna-malick/hgit github similar
• TauOmicronMu/proofchecker github similar
• ruuda/rust-utrecht github similar
• mgattozzi/aoc_2017 github similar
• JoeyEremondi/idris-aoc-2021 github similar
• serras/cobalt github similar
• unya/ivory github similar
• holmuk/coq-zipper github similar
• Ptival/HaysTac github similar
• beje8442/haskellToCoqCompiler github similar
• michaelowens/twitch-chat-overlay github similar
• cschaffner/MoLOverviewPoster github similar
• lamby/django-enumfield-ng github similar
• basvandijk/pipes-opaleye github similar
• jan-christiansen/Language-based-Security github similar
• aaronvargo/naperian github similar
• phadej/aeson-optics github similar
• purescript/registry github similar
• brson/cargo-lock-to-dot github similar
• ssomayyajula/elab github similar
• wouter-swierstra/Bird github similar
• UU-ComputerScience/uu-cco github similar
• KolodeznyDiver/THEff github similar
• jespercockx/ttac github similar
• Fermat/dependent-fold github similar
• philzook58/lens-algebra github similar
• epost/purescript-grasp github similar
• niconii/twiddle github similar
• chunfeilung/fizzbuzz github similar
• Eugleo/vscode-pollen github similar
• kika/purescript-google-appsscript github similar
• prange/niagara github similar
• finnteegen/pflp github similar
• paf31/purescript-lens-simple github similar