Similar repositories to RichardMoot/LinearOne:

• RichardMoot/LinearOne github similar
• Twey/agda-imp github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• RichardMoot/Grail0 github similar
• nulvinge/Linear-Abstract-Machine github similar
• CoqHott/coq-effects github similar
• sarahzrf/minelang github similar
• pixijs/pixi.js github similar
• Jellonator/Emailang github similar
• dannypsnl/inductive github similar
• TOTBWF/MLogic github similar
• cozodb/cozo github similar
• meilisearch/MeiliSearch github similar
• bitmappergit/Prelude github similar
• nachivpn/gluetn github similar
• isovector/wheatley github similar
• CoqHott/DICoq github similar
• dorchard/effects-as-sessions github similar
• Toxaris/pts github similar
• inanna-malick/hgit github similar
• nokijp/pietc github similar
• gliboc/cast-machine github similar
• prathyvsh/history-of-lambda-calculus github similar
• elpinal/subtyping-agda github similar
• Kixiron/lsw github similar
• jonsterling/lean4-sgdt github similar
• fwcd/curry-language-server github similar
• Mesabloo/HaSM github similar
• joom/proof-tree-builder github similar
• effectfully/Cubes github similar
• ayberkt/simplc github similar
• julianhyde/morel github similar
• metaborg/linear.agda github similar
• AHartNtkn/Kitmit github similar
• mr-ohman/logrel-mltt github similar
• conal/agda-cat-linear github similar
• jonsterling/effectful-typesetting github similar
• mr-ohman/intuitionistic-normalization github similar
• asajeffrey/finite-dtypes github similar