Similar repositories to muratak17/Recursion-Schemes-in-Coq:

• muratak17/Recursion-Schemes-in-Coq github similar
• gibiansky/IHaskell github similar
• lehins/MonadicParty2019 github similar
• mstksg/wavelets github similar
• Lysxia/coq-recursion-schemes github similar
• bachirelkhadir/Convex-Quaternary-Quartics-Are-Sum-of-Squares github similar
• alaingiorgetti/enum github similar
• Twey/agda-imp github similar
• conal/agda-fft github similar
• tlringer/ml-for-proofs github similar
• konn/demotion-paper github similar
• sadraddini/polytrajectory github similar
• tchajed/coq-array github similar
• zstone1/coq-complex github similar
• fmlab-iis/coq-nbits github similar
• jamii/rust-tagless github similar
• ChrisPenner/j-lang-haskell github similar
• thery/FlocqLecture github similar
• JorenB/quantum-compiling github similar
• MaisaMilena/JuiceMaker github similar
• HuStmpHrrr/agda-categories-1 github similar
• NickHu/naperian-functors github similar
• bmsherman/finite github similar
• cau-placc/julia-curry github similar
• sarahzrf/coq-depleted github similar
• Cobord/Quantum-Computer-Things github similar
• coq-contribs/containers github similar
• KingoftheHomeless/Cofree-Traversable-Functors github similar
• konn/laurent github similar
• silvanshade/agda-nr-cats github similar
• uncle-betty/trust-but-verify github similar
• uds-psl/churchs-thesis-coq github similar
• favonia/ocaml-objdump github similar
• oisdk/semiring-num github similar
• roglo/coq_real github similar
• isovector/compiling-to-categories-redux github similar
• zachsully/codata_examples github similar
• peridot/peridot github similar
• GaloisInc/gadt-starter github similar
• pdarragh/camlrack github similar