Similar repositories to MrXinWang/awesome-rust:
danistefanovic/build-your-own-x
github
similar
tootsuite/mastodon
github
similar
MrXinWang/awesome-rust
github
similar
DistributedSystemsAnalysis/horus
github
similar
bolt12/f-algebra-gen
github
similar
morgansleeper/Yamanotes
github
similar
relrod/ct
github
similar
Soonad/Formality-Haskell
github
similar
albertofaria/bdus
github
similar
cesium/atomic
github
similar
bolt12/tymfgg-pearl
github
similar
masaeedu/reading
github
similar
chiroptical/thinking-with-types
github
similar
tchajed/iris-simp-lang
github
similar
conal/paper-2021-language-derivatives
github
similar
kenmcmil/ivy
github
similar
Lysxia/profunctor-monad
github
similar
conal/linalg
github
similar
geohot/coq-hardy
github
similar
TyGuS/hoogle_plus
github
similar
plclub/hs-to-coq
github
similar
coq-io/io
github
similar
tchajed/goose
github
similar
moonad-archive/Formality-JavaScript
github
similar
bolt12/laop
github
similar
jasmin-lang/jasmin
github
similar
conal/denotational-hardware
github
similar
llelf/icfp2020-papers
github
similar
bolt12/advent-of-haskell-dd
github
similar
duo-labs/apple-t2-xpc
github
similar
EasyCrypt/easycrypt
github
similar
hacspec/hacspec
github
similar
trusting-sdks/https
github
similar
mattam82/Coq-Equations
github
similar
snowleopard/selective
github
similar
jeanqasaur/pltalk
github
similar
0xmachos/iOS-Security-Guides
github
similar
scionproto/scion
github
similar
tweag/linear-base
github
similar
takenobu-hs/haskell-symbol-search-cheatsheet
github
similar