Similar repositories to cassiebaer/ucph-msc-thesis-dpdt:
cassiebaer/ucph-msc-thesis-dpdt
github
similar
fieldstrength/xquant
github
similar
jtobin/declarative
github
similar
fieldstrength/probability
github
similar
backtracking/combine
github
similar
adjoint-io/double-ratchet
github
similar
sweirich/corespec
github
similar
yago-naga/yago4
github
similar
james-preston/hail
github
similar
danr/hipspec
github
similar
idris-hackers/IdrisScript
github
similar
jfdm/idris-containers
github
similar
mahmoodm2/tableGAN
github
similar
Ptival/PeaCoq
github
similar
Billy1900/Awesome-Differential-Privacy
github
similar
timjb/quantities
github
similar
nikita-volkov/refined
github
similar
kframework/kore
github
similar
mattam82/Coq-Equations
github
similar
pjotrp/guix-notes
github
similar
janestreet/ecaml
github
similar
ziman/lightyear
github
similar
vsedach/Parenscript
github
similar
antalsz/hs-to-coq
github
similar
haskell/statistics
github
similar
acid-state/acid-state
github
similar
acl2/acl2
github
similar
fpco/mezzohaskell
github
similar
c-cube/qcheck
github
similar
miniKanren/miniKanren
github
similar
typedefs/typedefs
github
similar
PrincetonUniversity/VST
github
similar
conal/concat
github
similar
idris-hackers/software-foundations
github
similar
math-comp/math-comp
github
similar
tomjaguarpaw/haskell-opaleye
github
similar
emina/rosette
github
similar
jwiegley/category-theory
github
similar
ReScience/ReScience
github
similar
ocaml-multicore/ocaml-multicore
github
similar