Similar repositories to VictorCMiraldo/my-phd-thesis:
danistefanovic/build-your-own-x
github
similar
VictorCMiraldo/my-phd-thesis
github
similar
VictorCMiraldo/lw2019-generics-workshop
github
similar
morgansleeper/Yamanotes
github
similar
VictorCMiraldo/generics-mrsop
github
similar
ekmett/hkd
github
similar
bolt12/tymfgg-pearl
github
similar
chiroptical/thinking-with-types
github
similar
ChrisPenner/lens-csv
github
similar
cachix/ghcide-nix
github
similar
ndmitchell/spaceleak
github
similar
srid/haskell-template
github
similar
fumieval/extensible
github
similar
smallhadroncollider/cmt
github
similar
mpickering/apply-refact
github
similar
spwhitt/nix-zsh-completions
github
similar
mpickering/hie-bios
github
similar
monadfix/microlens
github
similar
tweag/linear-base
github
similar
agda/agda-categories
github
similar
haskell/mtl
github
similar
hasura/eff
github
similar
nh2/static-haskell-nix
github
similar
tweag/jupyterWith
github
similar
protolude/protolude
github
similar
kcsongor/generic-lens
github
similar
input-output-hk/haskell.nix
github
similar
valderman/selda
github
similar
facebookincubator/retrie
github
similar
Copilot-Language/copilot
github
similar
alexwl/haskell-code-explorer
github
similar
cachix/cachix
github
similar
tweag/ormolu
github
similar
brendanhay/amazonka
github
similar
fused-effects/fused-effects
github
similar
haskell/ghcide
github
similar
UnkindPartition/tasty
github
similar
transient-haskell/transient
github
similar
polysemy-research/polysemy
github
similar
jwiegley/category-theory
github
similar