Similar repositories to jules-hedges/julesh-optics:

• jules-hedges/julesh-optics github similar
• gibiansky/IHaskell github similar
• Smaug123/CubicalTutorial github similar
• smimram/fibred-polynomials github similar
• cohomolo-gy/lawvere github similar
• CategoricalData/APG github similar
• ryanorendorff/convex github similar
• agda/categories-examples github similar
• conal/agda-cat-linear github similar
• bgavran/Agda_Category_Theory github similar
• Chaaaos/formaltt github similar
• DavidJaz/DynamicalSystemsBook github similar
• vcvpaiva/DialecticaCategories github similar
• CategoricalData/opl github similar
• masaeedu/monadoptics github similar
• bgavran/Lens_Resources github similar
• pedrotst/coquedille github similar
• frex-project/agda-fragment github similar
• tlringer/ml-for-proofs github similar
• alhassy/AgdaCheatSheet github similar
• AlgebraicJulia/AlgebraicDynamics.jl github similar
• guillaumebrunerie/initiality github similar
• FrozenWinters/stlc github similar
• DimaSamoz/agda-soas github similar
• ToposInstitute/poly github similar
• anuyts/agda-sessions github similar
• sjoerdvisscher/data-category github similar
• langston-barrett/write-yourself-a-scheme-in-agda github similar
• abooij/wiwikwlhott github similar
• grin-compiler/idris-grin github similar
• pigworker/CS410-18 github similar
• PatrickMassot/lean-verbose github similar
• fredefox/cat github similar
• AndrasKovacs/system-f-omega github similar
• dlicata335/cart-cube github similar
• Bodigrim/logict github similar
• HoTT-Intro/Agda github similar
• jules-hedges/open-games-hs github similar
• inQWIRE/QWIRE github similar
• scott-fleischman/agda-from-nothing github similar