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