Similar repositories to ajrouvoet/ternary.agda:

• ajrouvoet/ternary.agda github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• laMudri/generic-lr github similar
• UlfNorell/quasi-quote github similar
• fangyi-zhou/setup-agda-action github similar
• DreamLinuxer/FracAncilla github similar
• edwinb/SchemeEval github similar
• conal/agda-cat-linear github similar
• casvdrest/composable-semantics github similar
• metaborg/linear.agda github similar
• wolverian/agda-template github similar
• lukaszcz/infinitary-confluence github similar
• stefaniatadama/inductive_types github similar
• CoqHott/DICoq github similar
• tail-reversion/elle github similar
• heyrutvik/nbe-a-tutorial github similar
• UlfNorell/agda-bench github similar
• ratmice/prop github similar
• meilisearch/MeiliSearch github similar
• bitmappergit/Prelude github similar
• tuvtran/project-based-learning github similar
• wenkokke/polygen github similar
• Lokidottir/typerbole github similar
• jsmaniac/scribble-math github similar
• casvdrest/composable.agda github similar
• baberrehman/coq-duotyping github similar
• tiatomee/toml-idr github similar
• brendanzab/language-garden github similar
• xaphiriron/rendertest github similar
• bmourad01/ocamlchess github similar
• cozodb/cozo github similar
• linebender/glazier github similar
• jinzokami/GA-Rotor-2D github similar
• google/forma github similar
• ostera/serde.ml github similar
• mclements/mercury-ad github similar
• bobatkey/agda-metric-reals github similar
• Kixiron/lsw github similar
• jonsterling/lean4-sgdt github similar