Similar repositories to AndrasKovacs/primdata:
AndrasKovacs/primdata
github
similar
plt-hokusai/ahc
github
similar
andrejbauer/the-daily-algebra
github
similar
AndrasKovacs/dynamic-array
github
similar
phadej/lennart-lambda
github
similar
konn/realisability
github
similar
TOTBWF/agda-groups
github
similar
ayberkt/agda-github-action
github
similar
kckennylau/mathlib4
github
similar
HarrisonGrodin/agda-modtt
github
similar
atennapel/qtt-ts
github
similar
ericfinster/opetopic-types
github
similar
andrejbauer/mathematical-stories
github
similar
limemloh/cubical-congruence
github
similar
nachivpn/k
github
similar
TOTBWF/agda-sgd
github
similar
andrejbauer/higher-rank-syntax
github
similar
minad/persist
github
similar
ekmett/parsnip
github
similar
jonsterling/coq-domains
github
similar
mb64/xtt
github
similar
arthuraa/agda-hoas-demo
github
similar
AndrasKovacs/stlc-nbe
github
similar
balint99/sfpl
github
similar
Chaaaos/formaltt
github
similar
owo-lang/MLPolyR
github
similar
atennapel/tinka-hs
github
similar
ayberkt/sequents
github
similar
Trebor-Huang/Down-The-Path
github
similar
ekmett/hkd
github
similar
tree-sitter/tree-sitter-agda
github
similar
AndrasKovacs/thesis
github
similar
AndrasKovacs/polynomial-model
github
similar
DimaSamoz/agda-soas
github
similar
ayberkt/formal-topology-in-UF
github
similar
RedPRL/stagedtt
github
similar
gallais/aGdaREP
github
similar
bkomuves/nanohs
github
similar
anuyts/menkar
github
similar
ekmett/unboxed
github
similar