Similar repositories to Barry-Jay/SF:
Barry-Jay/SF
github
similar
shaunlebron/parinfer
github
similar
Barry-Jay/lambdaSF
github
similar
domdere/ultra
github
similar
tmcdonell/embedded-pattern-matching
github
similar
StanzaOrg/lbstanza
github
similar
agda/agda-assoc-free
github
similar
anniecherk/sweetpea
github
similar
pigworker/WhatRTypes4
github
similar
breckinloggins/vau
github
similar
heades/System-F-Coq
github
similar
llee454/functional-algebra
github
similar
gallais/agda-nbe
github
similar
wenkokke/msla2014
github
similar
mietek/et-lang
github
similar
kirkedal/rfun-interp
github
similar
bolt12/tymfgg-pearl
github
similar
blamario/grampa
github
similar
gallais/agda-sizedIO
github
similar
melsman/aplcompile
github
similar
pigworker/TypesWhoSayNi
github
similar
alhassy/AgdaCheatSheet
github
similar
pigworker/shonky
github
similar
pigworker/Samizdat
github
similar
rmculpepper/gamble
github
similar
rabuf/applied-category-theory
github
similar
mit-plv/rupicola
github
similar
vabal/vabal
github
similar
uwplse/pumpkin-pi
github
similar
uwplse/PUMPKIN-PATCH
github
similar
jyp/nano-Agda
github
similar
IBM/FormalML
github
similar
oracle/souffle
github
similar
pigworker/so-pigworker
github
similar
pedagand/typechecker-evolution
github
similar
AidanRocke/AutoDiff
github
similar
diku-kmc/kleenexlang
github
similar
advancingdragon/meta
github
similar
lexi-lambda/higher-rank
github
similar
ocamllabs/fomega
github
similar