Similar repositories to llee454/functional-algebra:

• llee454/functional-algebra github similar
• danistefanovic/build-your-own-x github similar
• martinescardo/HoTTEST-Summer-School github similar
• roc-lang/roc github similar
• hecrj/iced github similar
• oven-sh/bun github similar
• mit-plv/rupicola github similar
• ivashkev/math-formalizations github similar
• RobertHarper/hott-notes github similar
• Soldat/soldat github similar
• Lysxia/coq-recursion-schemes github similar
• Twey/agda-imp github similar
• sarsko/CreuSAT github similar
• tlringer/ml-for-proofs github similar
• ReactTraining/react-router github similar
• micahflee/onionshare github similar
• nullgemm/ly github similar
• alexcrichton/cc-rs github similar
• Eloston/ungoogled-chromium github similar
• nachivpn/coherence github similar
• heliaxdev/witch github similar
• stefaniatadama/inductive_types github similar
• smlnj/smlnj github similar
• tuvtran/project-based-learning github similar
• palmskog/coq-program-verification-template github similar
• inanna-malick/hgit github similar
• c-cube/quip github similar
• dboulytchev/miniKanren-coq github similar
• conal/agda-cat-linear github similar
• casvdrest/composable-semantics github similar
• MaisaMilena/JuiceMaker github similar
• neel-krishnaswami/inverse-bidirectional-typechecking github similar
• dorchard/effects-as-sessions github similar
• wenkokke/priority-sesh github similar
• jonsterling/itt-bidirectional github similar
• azriel91/srcerr github similar
• plum-umd/cgc github similar
• fpottier/minirust github similar
• Chaaaos/formaltt github similar
• ualib/ualib.github.io github similar