Similar repositories to bfpg/software-foundations:

• bfpg/software-foundations github similar
• gibiansky/IHaskell github similar
• mankyKitty/leesp github similar
• webcrank/webcrank github similar
• srijs/hwsl2-haskell github similar
• scslab/cs240h-notes github similar
• icicle-lang/icicle github similar
• cohomolo-gy/optics-resources github similar
• webcrank/webcrank.hs github similar
• AltGr/opam-bundle github similar
• steshaw/learning-programming-languages github similar
• mstksg/uncertain github similar
• ekmett/intervals github similar
• the-real-blackh/sodium-2d-game-engine github similar
• ioanluca/real-world-idris github similar
• mauny/the-functional-approach-to-programming github similar
• jpvillaisaza/cain github similar
• ekmett/concurrent github similar
• csabahruska/gpipe-quake3 github similar
• kfish/elm-shadertoy github similar
• erikd/haskell-big-integer-experiment github similar
• INRIA/velus github similar
• nomeata/ghc-heap-view github similar
• tfausak/blunt github similar
• stackbuilders/dotenv-hs github similar
• kadena-io/masala github similar
• peterlefanulumsdaine/general-type-theories github similar
• erikd/http-proxy github similar
• willtim/row-polymorphism github similar
• mgrabmueller/AlgorithmW github similar
• takenobu-hs/lazy_evaluation github similar
• fpco/haskell-scratch github similar
• ekmett/profunctors github similar
• mchakravarty/lets-program github similar
• tel/serv github similar
• ocharles/hadoom github similar
• patricoferris/awesome-multicore-ocaml github similar
• haskell-hvr/missingh github similar
• algas/haskell-servant-cookbook github similar
• kosmikus/SSGEP github similar