Similar repositories to gallais/idris-free:
gallais/idris-free
github
similar
danistefanovic/build-your-own-x
github
similar
hecrj/iced
github
similar
dannypsnl/inductive
github
similar
wenkokke/polygen
github
similar
raptazure/kweh
github
similar
raptazure/music-composition
github
similar
scmlab/I-Love-Lean
github
similar
knisht/arend-ct
github
similar
jonsterling/guarded-theories
github
similar
JacquesCarette/agda-algebras
github
similar
raptazure/proofs
github
similar
amblafont/UniversalII
github
similar
xuanruiqi/commalg
github
similar
tomdjong/TypeTopology
github
similar
elpinal/duploids
github
similar
groupoid/anders
github
similar
mr-ohman/intuitionistic-normalization
github
similar
nmvdw/GrpdHITs
github
similar
TOTBWF/agda-higher-categories
github
similar
uncle-betty/trust-but-verify
github
similar
jonsterling/effectful-typesetting
github
similar
annenkov/trace-monoids
github
similar
Saizan/hottest-talk
github
similar
YouTakaoka/Topos
github
similar
xuanruiqi/categories
github
similar
DmxLarchey/Coq-Phase-Semantics
github
similar
tweag/servant-template
github
similar
pigworker/SmolCat
github
similar
imkiva/imkiva
github
similar
raptazure/raptazure
github
similar
ohad/katla
github
similar
nmvdw/HITs-Examples
github
similar
oisdk/finiteness-in-cubical-type-theory
github
similar
msuperdock/vim-agda
github
similar
arend-lang/arend-contrib
github
similar
mb64/idris2-extras
github
similar
ailrk/lambda-cube
github
similar
lukaszcz/infinitary-confluence
github
similar
RichardMoot/Grail0
github
similar