Similar repositories to sabauma/agda-relation-algebra:

• sabauma/agda-relation-algebra github similar
• hecrj/iced github similar
• toeverything/AFFiNE github similar
• plt-hokusai/ahc github similar
• robrix/seq github similar
• sarsko/CreuSAT github similar
• tlringer/ml-for-proofs github similar
• wezm/rsspls github similar
• smlnj/smlnj github similar
• tweag/awesome-learning-haskell github similar
• aquynh/capstone github similar
• tootsuite/mastodon github similar
• postalhq/postal github similar
• danistefanovic/build-your-own-x github similar
• juxt/crux github similar
• gibiansky/IHaskell github similar
• Eloston/ungoogled-chromium github similar
• meilisearch/MeiliSearch github similar
• GamestonkTerminal/GamestonkTerminal github similar
• yforster/coq-synthetic-computability github similar
• superfly/litefs github similar
• less-wrong/less-wrong github similar
• border-patrol/lightclick github similar
• LightAndLight/idris-lambda-reflection github similar
• prathyvsh/history-of-lambda-calculus github similar
• uds-psl/autosubst-ocaml github similar
• Event-Structures/event-struct github similar
• julianhyde/morel github similar
• jonsterling/guarded-theories github similar
• kckennylau/mathlib4 github similar
• Zekt/Type-Embellishment github similar
• jonsterling/agda-stc github similar
• groupoid/anders github similar
• xuanruiqi/commalg github similar
• elpinal/duploids github similar
• lezer-parser/lezer github similar
• JoeyEremondi/lambda-pi-constraint github similar
• RedPRL/kado github similar
• ziman/idris-scheme github similar
• asajeffrey/finite-dtypes github similar