Similar repositories to conal/agda-linear:

• danistefanovic/build-your-own-x github similar
• conal/agda-linear github similar
• ollef/incrementalism github similar
• LightAndLight/learn-vulkan github similar
• ubuntu/microk8s github similar
• juxt/crux github similar
• Eloston/ungoogled-chromium github similar
• conal/agda-fft github similar
• claudiacorreia60/kvstore github similar
• mlyean/purely-functional-data-structure github similar
• argumatronic/paper-journal github similar
• goldfirere/ott-tutorial github similar
• masaeedu/selectivemonoidal github similar
• geo2a/redfin-lib github similar
• herulume/agda-intro github similar
• isovector/denotational-arithmetic-zurihac github similar
• conal/DependentTypesAtWork-exercises github similar
• vmchale/recursion github similar
• cocreature/robinhood github similar
• agda/categories-examples github similar
• grin-compiler/agda-grin github similar
• conal/generic-parallel-functional github similar
• unisonweb/base github similar
• exoscale/automata github similar
• conal/agda-machines github similar
• masaeedu/all-hls github similar
• isovector/blagda github similar
• unisonweb/share github similar
• mjhopkins/category-cheat-sheet github similar
• conal/talk-2020-calculating-compilers-categorically github similar
• conal/denotational-arithmetic github similar
• input-output-hk/plutus-metatheory github similar
• conal/agda-cat-linear github similar
• schell/ixshader github similar
• ekmett/codebruijn github similar
• smaccoun/polysemy-servant github similar
• gallais/agdarky github similar
• snowleopard/united github similar
• philzook58/rel github similar
• mrkgnao/pico github similar