Similar repositories to casvdrest/agda-finally-tagless:

• pixijs/pixi.js github similar
• tootsuite/mastodon github similar
• meilisearch/MeiliSearch github similar
• mikeshulman/agda-infinity-categories github similar
• jfdm/tears-in-the-rain github similar
• casvdrest/agda-finally-tagless github similar
• jespercockx/telescopic github similar
• neel-krishnaswami/ott-example github similar
• JacquesCarette/agda-algebras github similar
• nad/dependent-lenses github similar
• andrejbauer/dependent-type-theory-syntax github similar
• mattam82/groupoid github similar
• epfl-lara/SystemFR github similar
• AndrasKovacs/qiit-generalizations github similar
• metaocaml/metaocaml-opam github similar
• andreasabel/universal-algebra github similar
• agda/package-index github similar
• UnivalencePrinciple/2LTT-Agda github similar
• phadej/staged github similar
• jmlowenthal/agda-c github similar
• limemloh/cubical-congruence github similar
• conal/agda-cat-linear github similar
• thautwarm/Sequent.jl github similar
• namin/blond github similar
• nachivpn/k github similar
• atapin/awesome-tagless-final github similar
• UlfNorell/quasi-quote github similar
• UlfNorell/agda-bench github similar
• andrejbauer/higher-rank-syntax github similar
• JuliaStaging/NameResolution.jl github similar
• peterlefanulumsdaine/palmgren-archive github similar
• ualib/ualib.github.io github similar
• ualib/agda-algebras github similar
• L-TChen/ModalTypeTheory github similar
• tsung-ju/SystemF github similar
• FrozenWinters/SbE github similar
• yallop/metaocaml-letrec github similar
• andrejbauer/clerical github similar
• JacquesCarette/TheoriesAndDataStructures github similar
• JacquesCarette/pi-dual github similar